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
ISBN: 9783319189406

by Bernardo, Marco, Johnsen, Einar Broch

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

by Bernardo, Marco, Johnsen, Einar Broch

Marketplace Prices
New from $51.31

New
$51.31

List Price

~~$72.00~~

Discount

28% Off

You Save

$20.69

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9783319189406
ISBN: 3319189409
Publication Date: 2015
Publisher: Springer

AUTHOR

Bernardo, Marco, Johnsen, Einar Broch

SUMMARY

Bernardo, Marco is the author of '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', published 2015 under ISBN 9783319189406 and ISBN 3319189409.

[read more]