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
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 Networks| 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
|
Book Details
Edition Notes
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
History
- Created July 28, 2014
- 7 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| March 28, 2025 | Edited by ImportBot | Redacting ocaids |
| 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 |
| July 28, 2014 | Created by ImportBot | Imported from Internet Archive item record |