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. Proceedings

Not in Library

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
August 15, 2024 | History

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. Proceedings

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

Publish Date
Language
English

Buy this book

Previews available in: English

Book Details


Edition Notes

Published in
Berlin, Heidelberg
Series
Lecture Notes in Computer Science -- 6722

Classifications

Library of Congress
QA76.9.D5 I35 2011, TK5105.5-5105.9

The Physical Object

Format
[electronic resource] :

ID Numbers

Open Library
OL25545462M
Internet Archive
formaltechniques2011brun
ISBN 13
9783642214608, 9783642214615
LCCN
2011928308

Community Reviews (0)

Feedback?
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
August 15, 2024 Edited by MARC Bot import existing book
February 26, 2022 Edited by ImportBot import existing book
February 26, 2022 Edited by ImportBot import existing book
October 17, 2020 Edited by MARC Bot import existing book
July 28, 2014 Created by ImportBot Imported from Internet Archive item record