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

Marco Bernardo, Einar Broch Jo ...

Not in Library

My Reading Lists:

Use this Work

Check nearby libraries

Buy this book

Last edited by ImportBot

October 5, 2021 | History

Edit

An edition of Formal Methods for Multicore Programming (2015)

This edition doesn't have a description yet. Can you add one?

Publish Date

2015

Publisher

Springer London, Limited

Language

English

Pages

211

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 Not in Library Libraries near you: WorldCat
2 Formal Methods for Multicore Programming May 19, 2015, Springer paperback 3319189409 9783319189406	zzzz Not in Library Libraries near you: WorldCat