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

by JohnDerrick (Editor), HowardBowman (Editor)

New
Paperback
2011
$61.07

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

Synopsis

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

$61.07

Quantity

20+ in stock

More Information

Format: Paperback
Pages: 492
Edition: Reissue
Publisher: Cambridge University Press
Published: 21 Jul 2011
ISBN 10: 0521168759
ISBN 13: 9780521168755

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

New

$61.07

Synopsis

$61.07

More Information