Artículos relacionados a Formal Methods for Distributed Processing: A Survey...

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - Tapa blanda

 
9780521168755: Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Sinopsis

A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.

"Sinopsis" puede pertenecer a otra edición de este libro.