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

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

Bowman; Derrick

 
9780521771849: Formal Methods for Distributed Processing Hardback: 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.

Product Description

Book by None

"Sobre este título" puede pertenecer a otra edición de este libro.