Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 06.07.2026 auf fremdsprachige Bücher online auf thalia.at, in der Thalia App ab einem Mindestbestellwert von 30€ und in allen Thalia Buchhandlungen in Österreich. In den Buchhandlungen nur gültig auf lagernde Ware. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Nur gültig gegen Vorlage oder im Onlineshop hinterlegter Bonuscard. Infos zur Einlösung in der Buchhandlung sind auf der Bonuscard-Vorteilspreisseite zu finden. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Einlösung bei Scan & Go-Bezahlung. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
  • Produktbild: Algebraic Foundations of Systems Specification
  • Produktbild: Algebraic Foundations of Systems Specification

Algebraic Foundations of Systems Specification

Aus der Reihe IFIP State-of-the-Art Reports

52,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.10.2011

Herausgeber

Egidio Astesiano + weitere

Verlag

Springer Berlin

Seitenzahl

616

Maße (L/B/H)

23,5/15,5/3,4 cm

Gewicht

943 g

Auflage

Softcover reprint of the original 1st ed. 1999

Sprache

Englisch

ISBN

978-3-642-64151-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.10.2011

Herausgeber

Verlag

Springer Berlin

Seitenzahl

616

Maße (L/B/H)

23,5/15,5/3,4 cm

Gewicht

943 g

Auflage

Softcover reprint of the original 1st ed. 1999

Sprache

Englisch

ISBN

978-3-642-64151-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: Algebraic Foundations of Systems Specification
  • Produktbild: Algebraic Foundations of Systems Specification
  • The Role of Formal Specifications.- Algebraic Preliminaries.- From Total Equational to Partial First-Order Logic.- Institutions: An Abstract Framework for Formal Specifications.- Specification Semantics.- Structuring and Modularity.- Refinement and Implementation.- Specification Languages.- Term Rewriting.- Proof in Flat Specifications.- Proof Systems for Structured Specifications and Their Refinements.- Object Specification.- Algebraic Specification of Concurrent Systems.- Formalization of the Development Process.- Author Index.