An edition of Formal Methods Foundations and Applications
Lecture Notes in Computer Science
(2010)
Formal Methods Foundations and Applications Lecture Notes in Computer Science
by Jim Woodcock
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Logic design, Information Systems, Computer science, Software engineering, Formal methods (Computer science), Congresses, Fehlertoleranz, Kongress, Formale Methode, Model Checking, Sicherheitskritisches System, Interrupt <Informatik>, Software, Testen, Programmverifikation, Verifikation, Interrupt (Informatik), System design| Edition | Availability |
|---|---|
1
Formal Methods Foundations and Applications
Lecture Notes in Computer Science
2010, Springer
3642104517 9783642104510
|
aaaa
|
Book Details
Classifications
ID Numbers
Community Reviews (0)
Feedback?
| 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 |
| October 14, 2016 | Edited by Mek | Added new cover |
| October 14, 2016 | Created by Mek | Added new book. |