An edition of Critical Systems : Formal Methods and Automated Verification
(2016)
Critical Systems : Formal Methods and Automated Verification
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, Fmics-Avocs 2016, Pisa, Italy, September 26-28, 2016, Proceedings
by Maurice H. Ter Beek, Stefania Gnesi, and Alexander Knapp
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Computer science| Edition | Availability |
|---|---|
1
Critical Systems : Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, Fmics-Avocs 2016, Pisa, Italy, September 26-28, 2016, Proceedings
2016, Springer International Publishing AG
in English
3319459422 9783319459424
|
aaaa
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created October 5, 2021
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| October 5, 2021 | Created by ImportBot | Imported from Better World Books record |