Extra Materials Archive

Book cover

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

Soft cover - Print (ISBN: 978-3-319-18940-6)

Electronic (ISBN: 978-3-319-18941-3)

View this book on SpringerLink

Extra Materials File 978-3-319-18941-3