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 work 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
| 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 |