An edition of Formal Methods for Eternal Networked Software Systems
(2011)
Formal Methods for Eternal Networked Software Systems
11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
by Marco Bernardo
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and ... Italy, June 13-18, 2011, Advanced Lectures
Jul 08, 2011, Springer
paperback
3642214568 9783642214561
|
zzzz
Libraries near you:
WorldCat
|
2
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
2011, Springer Berlin Heidelberg
electronic resource :
in English
3642214541 9783642214547
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| February 26, 2022 | Edited by ImportBot | import existing book |
| July 1, 2018 | Edited by ImportBot | import new book |
| July 28, 2014 | Created by ImportBot | import new book |