Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig vom 07.09.2026 bis 09.09.2026 | Gültig für nicht preisgebundene fremdsprachige Bücher | Einzelne Artikel können ausgeschlossen sein | Online auf www.bücher.de einlösbar | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Nicht gültig für Versandkosten und Services
  • Produktbild: Recent Trends in Data Type Specification
  • Produktbild: Recent Trends in Data Type Specification
Band 332

Recent Trends in Data Type Specification Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.10.1988

Abbildungen

VIII, 268 p.

Herausgeber

Donald Sannella

Verlag

Springer Berlin

Seitenzahl

268

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

423 g

Auflage

1988

Sprache

Englisch

ISBN

978-3-540-50325-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.10.1988

Abbildungen

VIII, 268 p.

Herausgeber

Donald Sannella

Verlag

Springer Berlin

Seitenzahl

268

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

423 g

Auflage

1988

Sprache

Englisch

ISBN

978-3-540-50325-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Recent Trends in Data Type Specification
  • Produktbild: Recent Trends in Data Type Specification
  • The stratified loose approach: A generalization of initial and loose semantics.- Algebraic data type and process specifications based on projection spaces.- Structuring theories on consequence.- Completion with history-dependent complexities for generated equations.- Jungle evaluation.- The ACT-system experiences and future enhancements.- The specification language of OBSCURE.- Algebraic specifications of reachable higher-order algebras.- Observing nondeterministic data types.- Initial behaviour semantics for algebraic specifications.- Partial algebras, subsorting, and dependent types.- Operational semantics of behavioural canons based on narrowing.- The algebraic specification of semicomputable data types.