Logics of Specification Languages Martin C. Henson
Ø 0.0
0 Bewertungen
160,49 €
Titel: Logics of Specification Languages, Einband: Taschenbuch, Autor: Martin C. Henson, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 648, Maße: 235x155x35 mm, Gewicht: 966 g, Verkäufer: buch-mimpf, Schlagworte: ASM (Abstract State Machines) Bjørner CASL (Common Algebraic Specification Language) CafeOBJ Duration Calculus Event-B and B specification language Formal specification languages Proof rules RSL (RAIS formal methods logic programming techniques.
Jetzt bei Ebay:
-
Seiten:648
-
Gewicht:966
-
Einband:Taschenbuch
-
Marke:Springer Berlin Heidelberg, Springer Berlin Heidelberg
-
Fachbereich:Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
-
Publikationstitel:Logics of Specification Languages
-
Buchtitel:Logics of Specification Languages
-
Film-/Fernseh-Titel:Keine Angabe
-
Musiktitel:Keine Angabe
-
Interpret:Keine Angabe
-
Schlagworte:ASM (Abstract State Machines) Bjørner CASL (Common Algebraic...
-
ISBN:9783642093456
-
Reihe:Monographs in Theoretical Computer Science. an Eatcs Series
-
Produktart:Lehrbuch
-
Format:Taschenbuch
-
Erscheinungsjahr:2010
-
Anzahl der Seiten:648 Seiten
-
Autor:Dines Bjørner, Martin C. Henson
-
Verlag:Springer Berlin Heidelberg, Springer Berlin
-
Publikationsname:Logics of Specification Languages
-
Sprache:Englisch
-
Standardversand:DHL Paket kostenlos - Lieferung zwischen 28. June 2025 und 02. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Nordamerika , Ozeanien , Südostasien , Südamerika , Albanien , Andorra , ... und weitere
