Formal Methods for Open Object-Based Distributed Systems | DealShopping Deutschland

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.

Teilen: