An edition of Integrated Formal Methods
(2016)
Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
by Erika Ábrahám and Marieke Huisman
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Software engineering| Edition | Availability |
|---|---|
1
Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
May 24, 2016, Springer
paperback
3319336924 9783319336923
|
aaaa
|
2
Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
2016, Springer London, Limited
in English
3319336932 9783319336930
|
zzzz
|
Book Details
Edition Notes
Source title: Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (Lecture Notes in Computer Science (9681))
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| October 5, 2021 | Edited by ImportBot | import existing book |
| July 5, 2020 | Created by ImportBot | import new book |