An edition of Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings
(2011)
Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings
by Klaus Havelund
Share
×Close
This edition doesn't have a description yet. Can you add one?
Publish Date
2011
Publisher
Springer
Check nearby libraries
Buy this book
Subjects
Logic design, Computer science, Software engineering, Operating systems (Computers), Computer software, development, Fault-tolerant computing, System design, System analysis, Automatic control, Programming Techniques, Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Operating Systems, Programming Languages, Compilers, Interpreters| Edition | Availability |
|---|---|
1
Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings
2011, Springer
3642203973 9783642203978
|
aaaa
|
Book Details
Classifications
ID Numbers
Community Reviews (0)
Feedback?
| August 15, 2024 | Edited by MARC Bot | import existing book |
| February 26, 2022 | Edited by ImportBot | import existing book |
| July 5, 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. |