An edition of Formal Methods for Multicore Programming
(2015)
Formal Methods for Multicore Programming
15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
by Marco Bernardo and Einar Broch Johnsen
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
|
zzzz
Libraries near you:
WorldCat
|
2
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
2015, Springer London, Limited
in English
3319189417 9783319189413
|
aaaa
Libraries near you:
WorldCat
|
Community Reviews (0)
Feedback?
| October 5, 2021 | Edited by ImportBot | import existing book |
| May 28, 2020 | Created by ImportBot | import new book |