Marco Bernardo
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 Marco Bernardo 2015 edition

Name: 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
Price: 6629 ISK
Availability: OutOfStock
Author: Marco Bernardo

Price

Íkr 6,629

excl. VAT

Ordered from remote warehouse

Expected delivery Jun 25 - Jul 3

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

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

Marco Bernardo

2015 edition

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.

211 pages, 72 black & white illustrations, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	May 19, 2015
ISBN13	9783319189406
Publishers	Springer International Publishing AG
Pages	211
Dimensions	155 × 235 × 12 mm · 3.40 kg
Language	French
Editor	Bernardo, Marco
Editor	Johnsen, Einar Broch