This book is currently unavailable on Open Library, check out available alternatives.
An edition of Formal methods for open object-based distributed systems (1996)

Formal methods for open object-based distributed systems

1st ed.

by

Cover of: Formal methods for open object-based distributed systems by Howard Bowman
Preview Only
Preview

My Reading Lists:

Create a new list

Check nearby libraries

Buy this book

This book is currently unavailable on Open Library, check out available alternatives.
Last edited by MARC Bot
August 6, 2024 | History
Edit
An edition of Formal methods for open object-based distributed systems (1996)

Formal methods for open object-based distributed systems

1st ed.

by

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

Publish Date
Publisher
Chapman & Hall
Language
English
Pages
411

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Electronic data processing Distributed processing Object-oriented programming (Computer science) Congresses Parallel programming (Computer science) Electronic data processing, distributed processing Object-oriented methods (Computer science)
Edition Availability
Cover of: Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems: Volume 2
2016, Springer
in English
Cover of: Formal Methods for Open Object-based Distributed Systems
Formal Methods for Open Object-based Distributed Systems: Volume 2
Jul 14, 1998, Springer
paperback
Cover of: Formal Methods for Open Object-based Distributed Systems - Volume 2
Formal Methods for Open Object-based Distributed Systems - Volume 2
June 30, 1997, Springer
Hardcover in English - 1 edition
Cover of: Formal methods for open object-based distributed systems
Formal methods for open object-based distributed systems
1997, Chapman & Hall
in English - 1st ed.
Cover of: Formal Methods for Open Object-based Distributed Systems
Formal Methods for Open Object-based Distributed Systems: Volume 1 (IFIP International Federation for Information Processing)
November 30, 1996, Springer
in English

Add another edition?

Book Details

Table of Contents

v. 2. IFIP TC6 WG6.1 International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS '97), 21-23 July 1997, Canterbury, Kent, Uk / edited by Howard Bowman and John Derrick
v. 3. IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), February 15-18, 1999, Florence, Italy / edited by Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri.

Edition Notes

[Vol. 1] contains selected papers from the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS '96) sponsored by IFIP and held in Paris, France, March 1996.

Vol. 2 contains the proceedings of the Second IFIP WG6.1 International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS '97).

Published in
London, New York

Classifications

Library of Congress
QA76.64 .F67 1997, QA76.64, QA76.758

The Physical Object

Pagination
v. :
Number of pages
411

Edition Identifiers

Open Library
OL21119228M
ISBN 10
0412797704, 0412820404
OCLC/WorldCat
36802760
LibraryThing
3012459
Goodreads
1774297
5375543

Work Identifiers

Work ID
OL19611400W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation