Kategorien
Deutschland
Deutsch
Konto
Anmelden / Registrieren		Warenkorb
 		 
 >  >  >  >  > Artikel

Understanding Behaviour of Distributed Systems Using mCRL2


Menge:  Stück  
Produktinformationen
cover
cover
Artikel-Nr.:
     858A-9783031230103
Hersteller:
     Springer Verlag
Herst.-Nr.:
     9783031230103
EAN/GTIN:
     9783031230103
Suchbegriffe:
Anwendungssoftware (Fachbücher)
Anwendungssoftwarebücher
Bücher für Datenbanken - englischsp...
Bücher zu Anwendungs-Software - eng...
The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks.
Weitere Informationen:
Author:
Muhammad Atif; Jan Friso Groote
Verlag:
Springer International Publishing
Sprache:
eng
Weitere Suchbegriffe: Datenbanken (Fachbücher), Datenbankenbücher, datenbanken (fachbücher), Formal Specification; Inter-process Communication; behaviour analysis; model checking; process algebra, Model Checking, Behaviour Analysis, Formal Specification, Process Algebra, Inter-process Communication
Die Konditionen im Überblick1
Lieferzeit
Lagerstand
Preis
€ 179,99*
Konditionen selbst auswählen
Artikel empfehlenArtikel merken
* Preise mit Sternchen sind Nettopreise zzgl. gesetzlich gültiger MwSt.
UVP bedeutet „Unverbindliche Preisempfehlung“
Unser Angebot richtet sich ausschließlich an Unternehmen, Gewerbetreibende und Freiberufler.