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

Processing

by: Howard Bowman · John Derrick

Hardcover

ISBN: 978-0-521-77184-9

ISBN-10: 0-521-77184-6

Cambridge University Press · 2001

See also:
2011PaperbackFormal Methods for Distributed Processing: A Survey of Object-Oriented Approaches