Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Software engineering, Robots, programming, Machine learning, Artificial Intelligence (incl. Robotics), Computer science, Logic design, Artificial intelligence, Programming Languages, Compilers, Interpreters, Computation by Abstract Devices, Mathematical Logic and Formal Languages, Logics and Meanings of ProgramsShowing 2 featured editions. View all 2 editions?
Edition | Availability |
---|---|
1
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
2014, Springer London, Limited
in English
3662452316 9783662452318
|
aaaa
Libraries near you:
WorldCat
|
2
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
2014, Springer Berlin / Heidelberg
in English
3662452308 9783662452301
|
zzzz
Libraries near you:
WorldCat
|
Community Reviews (0)
Feedback?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 |