Understanding Behaviour of Distributed Systems Using mCRL2 Jan Friso Groote
Ø 0.0
0 Bewertungen
181,89 €
Titel: Understanding Behaviour of Distributed Systems Using mCRL2, Einband: Buch, Autor: Jan Friso Groote, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 252, Maße: 241x160x19 mm, Gewicht: 593 g, Verkäufer: buch-mimpf, Schlagworte: Formal Specification Inter-process Communication behaviour analysis model checking process algebra.
Jetzt bei Ebay:
-
Verlag:Springer Nature Switzerland, Springer International Publishing
-
Autor:Jan Friso Groote
-
Seiten:252
-
Gewicht:593
-
Einband:Buch
-
Format:241x160x19 mm
-
Sprache:Englisch
-
Marke:Springer Nature Switzerland, Springer International Publishing
-
Fachbereich:Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
-
Publikationstitel:Understanding Behaviour of Distributed Systems Using mCRL2
-
Erscheinungsjahr:20230226
-
Produktart:Bücher
-
Buchtitel:Understanding Behaviour of Distributed Systems Using mCRL2
-
Untertitel:Keine Angabe
-
Film-/Fernseh-Titel:Keine Angabe
-
Publikationsname:Understanding Behaviour of Distributed Systems Using mCRL2
-
Musiktitel:Keine Angabe
-
Interpret:Keine Angabe
-
Schlagworte:Formal Specification Inter-process Communication behaviour a...
-
ISBN:9783031230073
-
Standardversand:DHL Paket kostenlos - Lieferung zwischen 23. May 2025 und 27. 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
