Specification and Verification of Declarative Open Interaction Models: A Logic-B
Ø 0.0
0 Bewertungen
43,22 €
Es kann sich unter Umständen um ein Mängelexemplar in gutem Zustand handeln. eine Lösung finden können. Den Zustand der Ware versuchen wir so gut wie möglich zu beschreiben. Diese können Stempel oder ähnliches der jeweiligen Bibliothek enthalten.
Jetzt bei Ebay:
-
ISBN-10:364214537x
-
Buchtitel:Specification and Verification of Declarative Open
-
Untertitel:A Logic-Based Approach
-
Höhe:3.3 cm
-
Gewicht:655 g
-
Länge:23.8 cm
-
Breite:15.5 cm
-
ISBN:9783642145377
-
Reihe:Lecture Notes in Business Information Processing
-
Produktart:Lehrbuch
-
Format:Taschenbuch
-
Erscheinungsjahr:2010
-
Anzahl der Seiten:Xxii Seiten
-
Autor:Marco Montali
-
Verlag:Springer-Verlag Gmbh, Springer Berlin
-
Publikationsname:Specification And Verification of Declarative Open Interaction Models
-
Sprache:Englisch
-
Expressversand:Sonstige (1 Werktag) kostenlos - Lieferung zwischen 21. July 2025 und 21. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland, Italien, Spanien, Österreich, Polen, Schweiz
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Ozeanien , Südostasien , Südamerika , Bermuda , Grönland , Kanada , ... und weitere