Formal Methods for Open Object-Based Distributed Systems V
109.99 EUR102.54 EUR7% Off
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.