1. Home
  2. eBooks
  3. Non-Fiction
  4. Computing & information technology
  5. Computer programming / software development
Formal Methods for Multicore Programming

Formal Methods for Multicore Programming

by Marco Bernardo and Einar Broch Johnsen
Epub (Kobo), Epub (Adobe)
Publication Date: 29/12/2015
Be the first to write a review

Share This eBook:

  $72.99
Add to List

This item is delivered digitally

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.

ISBN:
9783319189413
9783319189413
Category:
Computer programming / software development
Format:
Epub (Kobo), Epub (Adobe)
Publication Date:
29-12-2015
Language:
English
Publisher:
Springer International Publishing

This item is delivered digitally

You can find this item in:

Computer programming / software development Maths for computer scientists Compilers Mathematical theory of computation Probability & statistics Discrete mathematics Software Engineering Computer science
Show more Show less

Reviews

Be the first to review Formal Methods for Multicore Programming.