Formal Techniques for Distributed Objects Components and Systems

53.49 EUR

Ein Leitfaden für die formale Modellierung verteilter Objekte und Komponenten: Erklärt präzise Techniken zur Spezifikation, Verifikation und Simulation komplexer Systeme in einer klaren, praxisorientierten Sprache.

Marke: Christel Baier
ISBN: 331992611X