Formal methods for distributed system development :: ISBN 0792379683 :: Kluwer Academic Publishers 2000 :: OBNB, the Open British National Bibliography

Publication Data

Title Formal methods for distributed system development
Contributors Tommaso Bolognesi, Diego Latella, International Federation for Information Processing
Publisher Kluwer Academic Publishers
Publication date 2000
Publication location Boston, Mass.
Language English

Descriptive Notes

IFIP 55.

Topics

Electronic data processing :: Distributed processing :: Congresses
008431112

Catalogue Data

OBNB ID GBA067229
ISBN 10 0792379683
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.36

ISBD

P1053 xiv, 408 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Formal methods for distributed system development. ISBN 0792379683. Published by Kluwer Academic Publishers in 2000. Publication and catalogue information, links to buy online and reader comments.