Formal Methods for Distributed Processing

Author

Bowman, Howard & John Derrick, eds.

Publish Date

20110721

Subtitle

A Survey of Object-Oriented Approaches

Book Type

Paperback

Number of Pages

492

Publisher Name

54

ISBN-10

0521168759

ISBN-13

9780521168755

citemno

144511

SKU

9780521168755