Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Formal Methods for Multicore Programming
Best Price (Coupon Required):
Buy Formal Methods for Multicore Programming for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
BioWare's Mass Effect
$44.99
Transient Mobility and Middle Class Identity
$99.99
Novel Optical Technologies for Nanofabrication
$84.99
Fundamentals of Electromagnetism
$84.99
On Raising a Digital Human
$44.99
Data Capital
$159.99
Produktwechsel als Problem im Konzept der Mass Customization
$79.99
Towards Useful Services for Elderly and People with Disabilities
$54.99
Probleme der Haut- und Muskeldurchblutung
$59.99
Cosmology in Scalar-Tensor Gravity
$169.99
Recent Advances in Electrochemical Promotion of Catalysis
$169.99
Future Information Technology
$219.99
Schulterschmerzen und Rupturen der Rotatorenmanschette
$69.99
Proof Methods for Modal and Intuitionistic Logics
$219.99
Reconfigurable Computing
$169.99
Collision- and Interaction-Induced Spectroscopy
$329.99
Sweet and Sour
$5.96
Mikroskopische Anatomie des Vegetativen Nervensystems
$59.99
Coping with Trade Reforms
$109.99
Genetic Programming Theory and Practice VI
$109.99
Haptic and Audio Interaction Design
$54.99
OWC-Based Ocean Wave Energy Plants
$84.99
The Mathematical Theory of Dilute Gases
$79.99
4 Farben - ein Bild
$54.99
The Medical Management of Prostate Cancer II
$84.99
Die Programmiersprache PASCAL
$59.99
Science Diplomacy, Cyberdiplomacy and Techplomacy in EU-LAC Relations
$129.99
NMR-Untersuchungen an Komplexverbindungen
$79.99
Unconstitutional Solitude
$119.99
Trustworthy Policies for Distributed Repositories
$49.99
Electrochemical Cell Calculations with OpenFOAM
$179.99
Reliability Evaluation of Some Fault-Tolerant Computer Architectures
$39.99
The Pain Management Handbook
$169.99
Produktionsleitsysteme fr die Automobilindustrie
$139.99
Human/Animal Relationships in Transformation
$149.00
Autonomisierung des ffentlichkeitsbegriffs in 22 S. 1 Alt. 2 KUG
$69.99
Smart and Sustainable Engineering for Next Generation Applications
$219.99
Stochastic Process Variation in Deep-Submicron CMOS
$84.99
Bisphosphonates in Clinical Oncology
$84.99
Handbook of Pain and Palliative Care
$349.00
