Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Publish Date
2010
Publisher
Springer
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
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. |