Formal methods for distributed processing

a survey of object-oriented approaches

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today


Buy this book

Last edited by MARC Bot
November 14, 2023 | History

Formal methods for distributed processing

a survey of object-oriented approaches

This edition doesn't have a description yet. Can you add one?

Publish Date
Language
English
Pages
480

Buy this book

Previews available in: English

Edition Availability
Cover of: Formal Methods for Distributed Processing
Formal Methods for Distributed Processing
January 15, 2002, Cambridge University Press
Hardcover in English - 1st edition
Cover of: Formal methods for distributed processing
Formal methods for distributed processing: a survey of object-oriented approaches
2001, Cambridge University Press
in English

Add another edition?

Book Details


Edition Notes

Includes bibliographical references and index.

Published in
Cambridge, UK, New York

Classifications

Library of Congress
QA76.9.D5 F662 2001, QA76.9.D5 F662 2001

The Physical Object

Pagination
x, 480 p. :
Number of pages
480

Edition Identifiers

Open Library
OL18167135M
Internet Archive
isbn_9780521771849
ISBN 10
0521771846
LCCN
2001025501
OCLC/WorldCat
46364767
Library Thing
3811690
Goodreads
5375541

Work Identifiers

Work ID
OL19126049W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
November 14, 2023 Edited by MARC Bot import existing book
July 29, 2023 Edited by ImportBot import existing book
March 7, 2023 Edited by MARC Bot import existing book
December 3, 2020 Edited by MARC Bot import existing book
October 11, 2008 Created by ImportBot Imported from Oregon Libraries MARC record