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
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
Information systems, Computer science, Software engineering, Informatique, Computer networks, Formal methods (Computer science), Congresses, Computer software, development, System design, Computer architecture, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages, Software Engineering/Programming and Operating Systems, Information Systems Applications (incl.Internet)| 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
|
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
|
Book Details
Edition Notes
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
| August 15, 2024 | Edited by MARC Bot | import existing book |
| 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 |