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: Taschenbuch, Autor: Jan Friso Groote, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 252, Maße: 235x155x13 mm, Gewicht: 434 g, Verkäufer: buch-mimpf, Schlagworte: Formal Specification Inter-process Communication behaviour analysis model checking process algebra.
Jetzt bei Ebay:
-
Verlag:Springer International Publishing, Springer Nature Switzerland
-
Autor:Jan Friso Groote
-
Seiten:252
-
Gewicht:434
-
Einband:Taschenbuch
-
Format:235x155x13 mm
-
Sprache:Englisch
-
Marke:Springer International Publishing, Springer Nature Switzerland
-
Fachbereich:Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
-
Publikationstitel:Understanding Behaviour of Distributed Systems Using mCRL2
-
Erscheinungsjahr:20240227
-
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:9783031230103
-
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
