Formal Methods for Open Object-Based Distributed Systems V

106.99 EUR

Ein praxisnahes Nachschlagewerk zu formalen Techniken für offene, objektbasierte verteilte Systeme, das die neuesten Erkenntnisse der fünften IFIP-Konferenz bündelt und konkrete Modellierungsbeispiele liefert.

Teilen: