Formal techniques for distributed systems : joint IFIP WG 6.1 international conferences, FMOODS 2013 and FORTE 2013, held as part of the 8th international federated conference on distributed computing

Publication Data

Title Formal techniques for distributed systems : joint IFIP WG 6.1 international conferences, FMOODS 2013 and FORTE 2013, held as part of the 8th international federated conference on distributed computing
Contributors Dirk Beyer, Michele Boreale, International Federation for Information Processing
Publisher Springer
Publication date 2013
Publication location Heidelberg
Language English

Descriptive Notes

Two of the conferences at the 8th International Federated Conferences on Distributed Computing Techniques (DisCoTec 2013).

Topics

Formal methods (Computer science) :: Congresses
Distributed operating systems (Computers) :: Congresses

Catalogue Data

OBNB ID GBB354576
ISBN 10 3642385915
ISBN 13 9783642385919
Type BibliographicResource, Book
Dewey Classification 004.0151

ISBD

P1053 xiii, 320 pages
P1042 Includes bibliographical references and index.

Buy a copy

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

Formal techniques for distributed systems : joint IFIP WG 6.1 international conferences, FMOODS 2013 and FORTE 2013, held as part of the 8th international federated conference on distributed computing. ISBN 9783642385919. Published by Springer in 2013. Publication and catalogue information, links to buy online and reader comments.