An edition of Formal Techniques for Distributed Systems
(2011)
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
by Roberto Bruni
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Logic design, Computer networks, Computer science, Software engineering, Electronic data processing, Distributed processing, Congresses, System design, Operating systems (computers), Electronic data processing, distributed processing, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Programming Techniques, Computer Communication NetworksShowing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
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
2011, Springer Berlin Heidelberg
electronic resource :
in English
3642214606 9783642214608
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| 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 | import new book |