
Formal Methods for Distributed Processing
A Survey of Object-Oriented Approaches
Herausgeber: Bowman, Howard; Derrick, John
Versandkostenfrei!
Versandfertig in 1-2 Wochen
57,99 €
inkl. MwSt.
PAYBACK Punkte
29 °P sammeln!
A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.