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.