An edition of Formal Methods and Software Engineering
(2011)
Formal Methods and Software Engineering
13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
by Shengchao Qin
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
Computer networks, Computer science, Software engineering, Computer software, Informatique, Formal methods (Computer science), Congresses, Computer Communication Networks, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Programming Languages, Compilers, Interpreters, Programming Techniques| Edition | Availability |
|---|---|
1
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, ...
Oct 06, 2019, Springer
paperback
3030324087 9783030324087
|
zzzz
|
2
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Mar 10, 2012, Springer
paperback
3642245609 9783642245602
|
zzzz
|
3
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
2011, Springer-Verlag GmbH Berlin Heidelberg
electronic resource :
in English
3642245587 9783642245589
|
aaaa
|
Book Details
Edition Notes
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created July 29, 2014
- 7 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| August 29, 2024 | Edited by MARC Bot | import existing book |
| October 4, 2021 | Edited by ImportBot | import existing book |
| October 17, 2020 | Edited by MARC Bot | import existing book |
| August 22, 2020 | Edited by ImportBot | import existing book |
| July 29, 2014 | Created by ImportBot | Imported from Internet Archive item record |