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
- 1 Want to read
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Formal Methods for Executable Software Models
May 21, 2014, Springer
paperback
3319073168 9783319073163
|
zzzz
|
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
|
Book Details
Classifications
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| 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 |