Logics and Models of Concurrent Systems Krzysztof R. Apt
Ø 0.0
0 Bewertungen
112,34 €
Titel: Logics and Models of Concurrent Systems, Einband: Taschenbuch, Autor: Krzysztof R. Apt, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 512, Maße: 244x170x28 mm, Gewicht: 874 g, Verkäufer: buch-mimpf, Schlagworte: Form Invariant Maintenance Semantics Systems algorithms communicating sequential process cooperation distributed systems logic programm programming programming language sound verification.
Jetzt bei Ebay:
-
Verlag:Springer Berlin Heidelberg, Springer Berlin Heidelberg
-
Autor:Krzysztof R. Apt
-
Seiten:512
-
Gewicht:874
-
Einband:Taschenbuch
-
Format:244x170x28 mm
-
Sprache:Englisch
-
Marke:Springer Berlin Heidelberg, Springer Berlin Heidelberg
-
Fachbereich:Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
-
Publikationstitel:Logics and Models of Concurrent Systems
-
Erscheinungsjahr:20111230
-
Produktart:Bücher
-
Buchtitel:Logics and Models of Concurrent Systems
-
Untertitel:Keine Angabe
-
Film-/Fernseh-Titel:Keine Angabe
-
Publikationsname:Logics and Models of Concurrent Systems
-
Musiktitel:Keine Angabe
-
Interpret:Keine Angabe
-
Schlagworte:Form Invariant Maintenance Semantics Systems algorithms ...
-
ISBN:9783642824555
-
Standardversand:DHL Paket kostenlos - Lieferung zwischen 14. May 2025 und 16. May 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
