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
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created October 14, 2016
- 7 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| April 9, 2023 | Edited by ImportBot | import existing book |
| 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 | Created by Mek | Added new book. |