Der ausgewählte Artikel ist nicht mehr verfügbar, aber wir haben etwas Ähnliches gefunden.

Bild 1 von 1

Standardbild

Egidio Astesiano (u. a.) | Algebraic Foundations of Systems Specification | Buch - Bild 1 von 1

Algebraic Foundations of Systems Specification von Bernd Krieg-Brückner (2011, Taschenbuch)

Schreiben Sie die ersteRezension.

Faboplay (13239)
99,8% positive Bewertungen

Preis:

€ 48,95

(inkl. MwSt.)

+ EUR 2,95 Versand

Lieferung ca. Fr, 26. Apr - Do, 2. Mai

Rücknahmen:

1 Monat Rückgabe. Käufer zahlt Rückversand. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.

Artikelzustand:

Neu

Alle Details ansehen

Über dieses Produkt

Produktinformation

This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and survey active topics and recent advances, and address such subjects as: the role of formal specification, algebraic preliminaries, partiality, institutions, specification semantics, structuring, refinement, specification languages, term rewriting, deduction and proof systems, object specification, concurrency, and the development process. The authors are well-known experts in the field, and the book is the result of IFIP WG 1.3 in cooperation with Esprit Basic Research WG COMPASS, and provides the foundations of the algebraic specification language CASL designed in the CoFI project. For students, researchers, and system developers.

Produktkennzeichnungen

Herausgeber
Egidio Astesiano, Bernd Kriega-Brückner, Hans-Jörg Kreowski
ISBN-10
3642641512
ISBN-13
9783642641510
eBay Product ID (ePID)
165067148

Produkt Hauptmerkmale

Sprache
Englisch
Anzahl der Seiten
632 Seiten
Verlag
Springer Berlin Heidelberg, Springer Berlin
Publikationsname
Algebraic Foundations of Systems Specification
Autor
Egidio Astesiano, Bernd Krieg-Brückner, Hans-Jörg Kreowski
Format
Taschenbuch
Erscheinungsjahr
2011

Zusätzliche Produkteigenschaften

Hörbuch
No
Inhaltsbeschreibung
Paperback
Item Length
23cm
Item Height
3cm
Item Width
15cm
Buchreihe
Ifip State-Of-The-Art Reports
Item Weight
943g

Meistverkauft in Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Meistverkauft in Studium & Erwachsenenbildung

Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)
4.3 von 5 Sternen in 4 Produktbewertungen
EUR 19,90 Neu
EUR 17,69 Gebraucht
Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)
4.5 von 5 Sternen in 2 Produktbewertungen
EUR 12,00 Neu
EUR 9,49 Gebraucht

Hier sparen: Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Hier sparen: Studium & Erwachsenenbildung

Verzogen, verweichlicht, verletzt | Susanne Nickel | Taschenbuch | 208 S. | 2024
EUR 18,00
Preistendenz: EUR 18,29
Einfaches Kassenbuch | Einnahmen und Ausgaben
EUR 4,99
Preistendenz: EUR 6,65
Elektrotechniker-Handwerk DIN e. V.
EUR 86,00
Preistendenz: EUR 87,53
Im Grunde gut|Rutger Bregman|Broschiertes Buch|Deutsch
EUR 15,00
Preistendenz: EUR 15,25
Handelsgesetzbuch Taschenbuch dtv-Taschenbücher Beck Texte XIII Deutsch 2023
EUR 10,90
Preistendenz: EUR 11,09
Disney Minnie Schleifen-Boutique Kindergartenfreundebuch | Meine ersten Freunde
EUR 9,99
Preistendenz: EUR 10,16

Auch interessant

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Auch interessant

Stöbern in Kategorien

Bild 1 von 1

Algebraic Foundations of Systems Specification von Bernd Krieg-Brückner (2011, Taschenbuch)

Über dieses Produkt

Produktinformation

Produktkennzeichnungen

Produkt Hauptmerkmale

Zusätzliche Produkteigenschaften

Meistverkauft in Studium & Erwachsenenbildung

Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)

Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)

Hier sparen: Studium & Erwachsenenbildung

Verzogen, verweichlicht, verletzt | Susanne Nickel | Taschenbuch | 208 S. | 2024

Einfaches Kassenbuch | Einnahmen und Ausgaben

Elektrotechniker-Handwerk DIN e. V.

Im Grunde gut|Rutger Bregman|Broschiertes Buch|Deutsch

Handelsgesetzbuch Taschenbuch dtv-Taschenbücher Beck Texte XIII Deutsch 2023

Disney Minnie Schleifen-Boutique Kindergartenfreundebuch | Meine ersten Freunde

Auch interessant

Bücher im Taschenbuch Sachbuch Krieg

Christian Brückner Hörbücher und Hörspiele

Taschenbuch-Politik - & -Gesellschaft-Sachbuch Krieg Bücher

Taschenbuch-Politik - & -Gesellschaft-Sachbuch Bücher auf Deutsch Krieg

Shades-of-Grey-Taschenbuch - Belletristik-Bücher

Kriegs- und Krisenbücher