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 - Programming and Software Engineering 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 - Programming and Software Engineering 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 - Programming and Software Engineering 9104 (Paperback)

(editor), (editor)
£39.99
Paperback 211 Pages / Published: 19/05/2015
  • We can order this

Usually despatched within 3 weeks

  • 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: 343 g
Dimensions: 235 x 155 x 12 mm
Edition: 2015 ed.

You may also be interested in...

Design Patterns
Added to basket
£43.99
Hardback
User Stories Applied
Added to basket
£40.99
Paperback
Peopleware
Added to basket
£32.99
Paperback
Pro Git
Added to basket
£35.50
Paperback
Exercises in Programming Style
Added to basket
The Clean Coder
Added to basket
£32.99
Paperback
The Art of Unit Testing
Added to basket
Designing Data-Intensive Applications
Added to basket
Kanban
Added to basket
£33.55
Paperback
Impact Mapping
Added to basket
£9.99
Paperback
The Agile Samurai
Added to basket
Coaching Agile Teams
Added to basket
Writing Effective Use Cases
Added to basket
Clean Code
Added to basket
£36.99
Paperback
Implementing Domain-Driven Design
Added to basket
User Story Mapping
Added to basket
£27.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.