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
- 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 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
|
2
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Classifications
ID Numbers
Source records
Community Reviews (0)
Feedback?
History
- Created October 5, 2021
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| October 5, 2021 | Created by ImportBot | Imported from Better World Books record |