An edition of Software Engineering and Formal Methods
(2015)
Software Engineering and Formal Methods
13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
by Radu Calinescu and Bernhard Rumpe
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings
2022, Springer International Publishing AG
in English
3030921239 9783030921231
|
zzzz
|
2
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Aug 21, 2015, Springer
paperback
3319229680 9783319229683
|
aaaa
|
|
3
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
2015, Springer London, Limited
in English
3319229699 9783319229690
|
zzzz
|
Book Details
Edition Notes
Source title: Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Lecture Notes in Computer Science (9276))
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
History
- Created May 22, 2020
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| October 5, 2021 | Edited by ImportBot | import existing book |
| May 22, 2020 | Created by ImportBot | Imported from amazon.com record |