An edition of Software Engineering and Formal Methods
(2012)
Software Engineering and Formal Methods
10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
by George Eleftherakis
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Mathematical Logic and Formal Languages, Software engineering, Computer networks, Logic design, Logics and Meanings of Programs, Computer science, Programming Languages, Compilers, Interpreters, Artificial intelligence, Artificial Intelligence (incl. Robotics), Congresses, Formal methods (Computer science), Computer Communication Networks| Edition | Availability |
|---|---|
1
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Oct 03, 2012, Springer
paperback
3642338275 9783642338274
|
zzzz
|
2
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
2012, Springer Berlin / Heidelberg
in English
3642338259 9783642338250
|
zzzz
|
3
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
2012, Springer Berlin Heidelberg, Imprint: Springer
electronic resource :
in English
3642338267 9783642338267
|
aaaa
|
Book Details
Edition Notes
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
| December 13, 2022 | Edited by MARC Bot | import existing book |
| November 13, 2020 | Edited by MARC Bot | import existing book |
| July 7, 2019 | Created by MARC Bot | import new book |