Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Publish Date
2010
Publisher
Springer
Check nearby libraries
Buy this book
Subjects
Computer networks, Computer science, Software engineering, Computer software, Entscheidungsverfahren, Programmtest, Programmverifikation, Formale Methode, Serviceorientierte Architektur, Softwareentwicklung, Congresses, Web Services, Model Checking, Leistungsbewertung, Formal methods (Computer science), Programmanalyse, Computer engineeringShowing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
2010, Springer
3642169007 9783642169007
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Classifications
ID Numbers
Community Reviews (0)
Feedback?December 25, 2021 | Edited by ImportBot | import existing book |
September 25, 2020 | Edited by MARC Bot | import existing book |
June 30, 2019 | Edited by MARC Bot | import existing book |
October 14, 2016 | Edited by Mek | Added new cover |
October 14, 2016 | Created by Mek | Added new book. |