Formal Methods for Open Object-Based Distributed Systems
213.99 EUR 195.84 EUR
8% Off
Dieses Buch beleuchtet formale Techniken für offene objektbasierte verteilte Systeme, bietet neue Modellierungsansätze, prüft Kommunikationsprotokolle und zeigt praxisnahe Verifikationstechniken.