Visit our Christmas Gift Finder
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 - Lecture Notes in Computer Science 9104 (Paperback)
  • 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 - Lecture Notes in Computer Science 9104 (Paperback)
zoom

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 - Lecture Notes in Computer Science 9104 (Paperback)

(editor), (editor)
£39.99
Paperback 211 Pages / Published: 19/05/2015
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
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.

Publisher: Springer International Publishing AG
ISBN: 9783319189406
Number of pages: 211
Weight: 3401 g
Dimensions: 235 x 155 x 12 mm
Edition: 2015 ed.

You may also be interested in...

Test Driven Development
Added to basket
User Stories Applied
Added to basket
£40.49
Paperback
Implementing Domain-Driven Design
Added to basket
Succeeding with Agile
Added to basket
£38.49
Paperback
The Art of Unit Testing
Added to basket
Essential Scrum
Added to basket
£36.99
Paperback
The Nature of Software Development
Added to basket
Agile Product Management with Scrum
Added to basket
Designing Data-Intensive Applications
Added to basket
Git Pocket Guide
Added to basket
Coaching Agile Teams
Added to basket
Clean Code
Added to basket
£36.99
Paperback
The Clean Coder
Added to basket
£33.49
Paperback
The Algorithm Design Manual
Added to basket
User Story Mapping
Added to basket
£27.99
Paperback
Impact Mapping
Added to basket
£9.99
Paperback

Please sign in to write a review

Your review has been submitted successfully.