Enlarge

Formal techniques for distributed systems : joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, Forte 2011, Reykjavik, Iceland, June 6-9, 2011

Publication Data

Title Formal techniques for distributed systems : joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, Forte 2011, Reykjavik, Iceland, June 6-9, 2011
Alternative Title FORTE 2011
Contributors Roberto Bruni, Juergen Dingel, International Federation for Information Processing, IFIP Working Group 6.1
Publisher Springer
Publication date 2011
Publication location Heidelberg
Language English

Descriptive Notes

Two of the conferences at the 6th International Federated Conferences on Distributed Computing Techniques.

Topics

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

Catalogue Data

OBNB ID GBB171496
ISBN 10 3642214606
ISBN 13 9783642214608
Type BibliographicResource, Book
Dewey Classification 004.0151

ISBD

P1053 xiv, 348 p.
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 13th IFIP WG 6.1 international conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, Forte 2011, Reykjavik, Iceland, June 6-9, 2011 . ISBN 9783642214608. Published by Springer in 2011. Publication and catalogue information, links to buy online and reader comments.