An edition of Formal Techniques for Distributed Systems
(2012)
Formal Techniques for Distributed Systems
Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
by Holger Giese
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Mathematical Logic and Formal Languages, Programming Techniques, Software engineering, Computer networks, Logic design, Logics and Meanings of Programs, Computer science, Programming Languages, Compilers, Interpreters, Electronic data processing, distributed processing, Computer Communication Networks| Edition | Availability |
|---|---|
1
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
2012, Springer Berlin Heidelberg
electronic resource :
in English
3642307930 9783642307935
|
aaaa
|
Book Details
Edition Notes
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| December 13, 2022 | Edited by MARC Bot | import existing book |
| August 22, 2020 | Edited by ImportBot | import existing book |
| June 30, 2019 | Created by MARC Bot | import new book |