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 edition 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, Imprint: Springer
electronic resource :
in English
3642338267 9783642338267
|
aaaa
|
3
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
|
Book Details
Edition Notes
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created July 7, 2019
- 5 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| December 13, 2022 | Edited by MARC Bot | import existing book |
| November 13, 2020 | Edited by MARC Bot | import existing book |
| August 24, 2020 | Edited by ImportBot | import existing book |
| July 7, 2019 | Edited by MARC Bot | import existing book |
| July 7, 2019 | Created by MARC Bot | Imported from Internet Archive item record |