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, Ad : 9104 by Marco Bernardo - Paperback

AED274.94
(0) Write a Review
SKU:
9783319189406
UPC:
9783319189406

Product Description

ISBN: 9783319189406
TITLE: 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, Ad : 9104
AUTHOR: Marco Bernardo
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 19 May 2015

Other Details

ISBN:
9783319189406
Author:
Marco Bernardo
Publisher:
Springer International Publishing AG
Publisher Date:
Published:19 May 2015
Book Format:
Paperback