An edition of Formal Techniques for Distributed Systems
(2009)
Formal Techniques for Distributed Systems
Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
by Hutchison, David - undifferentiated
Share
×Close
This work 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, Congresses, Distributed processing, Object-oriented programming (Computer science), Formal methods (Computer science), Rechnernetz, Kongress, Softwarespezifikation, Formale Spezifikationstechnik, Software, Testen, Formale Methode, Verteiltes System, Electronic data processing, distributed processing, Object-oriented programming (computer science), System design| Edition | Availability ↑ |
|---|---|
1
Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
2009, Springer Berlin Heidelberg
electronic resource :
in English
3642021379 9783642021374
|
aaaa
|
Book Details
Edition Notes
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| October 4, 2021 | Edited by ImportBot | import existing book |
| November 13, 2020 | Edited by MARC Bot | import existing book |
| June 30, 2019 | Edited by MARC Bot | import existing book |
| July 29, 2014 | Created by ImportBot | import new book |