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 (Paperback, 2015 ed.)
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems.
R2,205
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
22050
@R207pm x 12* 
Ships in 10 - 15 working days
Add to wish listReview this Item
Donate to Against Period Poverty
Buy Together
R2,225
Product Description
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems.
Customer Reviews
No reviews or ratings yet - be the first to create one!
Product Details
General
Imprint | Springer International Publishing AG |
Country of origin | Switzerland |
Series | Lecture Notes in Computer Science, 9104 |
Release date | May 2015 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2015 |
Editors | Marco Bernardo, Einar Broch Johnsen |
Dimensions | 235 x 155 x 12mm (L x W x T) |
Format | Paperback |
Pages | 211 |
Edition | 2015 ed. |
ISBN-13 | 978-3-319-18940-6 |
Barcode | 9783319189406 |
Categories | |
LSN | 3-319-18940-9 |
Similar Products | Recommended ProductsSee more 
Trending On Loot
Be the first to know about our
latest deals & promos! Subscribe Now
