An edition of Formal Methods for Executable Software Models
(2014)
Formal Methods for Executable Software Models
14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
by Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, and Ina Schaefer
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
Formal Methods for Executable Software Models
May 21, 2014, Springer
paperback
3319073168 9783319073163
|
zzzz
Libraries near you:
WorldCat
|
2
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
2014, Springer London, Limited
in English
3319073176 9783319073170
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Classifications
ID Numbers
Community Reviews (0)
Feedback?
| December 7, 2022 | Edited by MARC Bot | import existing book |
| October 5, 2021 | Edited by ImportBot | import existing book |
| May 18, 2020 | Created by ImportBot | import new book |