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.

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  0521168759 ISBN 13:  9780521168755
Editorial: Cambridge University Press, 2011
Tapa blanda