Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

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.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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
@ Link.springer.com
$39.99 $39.99

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319189413
Condition
New
Product Description

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.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Red Cell Shape

Red Cell Shape

$129.99
Small-Gauge Vitrectomy for Diabetic Retinopathy

Small-Gauge Vitrectomy for Diabetic Retinopathy

$109.00
Stochastic Adaptive Control Results and Simulations

Stochastic Adaptive Control Results and Simulations

$39.99
Model-Driven Engineering Languages and Systems

Model-Driven Engineering Languages and Systems

$54.99
Electrogenesis of Biopotentials in the Cardiovascular System

Electrogenesis of Biopotentials in the Cardiovascular System

$129.00
Aerospace Materials and Material Technologies

Aerospace Materials and Material Technologies

$249.99
Molecular Sensors for Cardiovascular Homeostasis

Molecular Sensors for Cardiovascular Homeostasis

$169.99
Vitamins and Cancer

Vitamins and Cancer

$109.99
Opening Networks to Competition

Opening Networks to Competition

$84.99
Zur Produktionstheorie der Mehrproduktunternehmung

Zur Produktionstheorie der Mehrproduktunternehmung

$59.99
Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems

$109.99
Ground States of the Two-Dimensional Electron System at Half-Filling under Hydrostatic Pressure

Ground States of the Two-Dimensional Electron System at Half-Filling under Hydrostatic Pressure

$84.99
Politik und Kontingenz

Politik und Kontingenz

$39.99
Dietary Supplements

Dietary Supplements

$169.00
Volkswirtschaftlich denken

Volkswirtschaftlich denken

$59.99
Ritters 10x10 fr Finanzdienstleister und Versicherungsvermittler

Ritters 10x10 fr Finanzdienstleister und Versicherungsvermittler

$49.99
Neotropical Mammals

Neotropical Mammals

$219.99
Health Related Effects of Phyllosilicates

Health Related Effects of Phyllosilicates

$129.00
Information-Statistical Data Mining

Information-Statistical Data Mining

$129.00
Proktologie

Proktologie

$69.99
The Amazing Language of Medicine

The Amazing Language of Medicine

$84.99
Second Generation Biometrics: The Ethical, Legal and Social Context

Second Generation Biometrics: The Ethical, Legal and Social Context

$109.99
Creative Measures of the Anthropocene

Creative Measures of the Anthropocene

$84.99
Sminaire de Probabilits LI

Sminaire de Probabilits LI

$84.99
Gewerkschaften und Lohnfindung

Gewerkschaften und Lohnfindung

$59.99
Staff Participation and Public Management Reform

Staff Participation and Public Management Reform

$109.99
Uric acid lithiasis

Uric acid lithiasis

$109.99
Induced Mutation Breeding

Induced Mutation Breeding

$129.00
Theory and Practice of GNSS Reflectometry

Theory and Practice of GNSS Reflectometry

$149.00
Urban Shrinkage, Industrial Renewal and Automotive Plants

Urban Shrinkage, Industrial Renewal and Automotive Plants

$54.99
Glossary of Morphology

Glossary of Morphology

$59.99
Eigenkapital von Banken als Regulierungsgegenstand

Eigenkapital von Banken als Regulierungsgegenstand

$64.99
Observables and Symmetries of n-Plectic Manifolds

Observables and Symmetries of n-Plectic Manifolds

$54.99
Das Gedchtnis der Schrift

Das Gedchtnis der Schrift

$79.99
IschemiRs: MicroRNAs in Ischemic Stroke

IschemiRs: MicroRNAs in Ischemic Stroke

$84.99
Reliability of Organic Compounds in Microelectronics and Optoelectronics

Reliability of Organic Compounds in Microelectronics and Optoelectronics

$159.99
Grundkurs Topologie

Grundkurs Topologie

$29.99
Ordinary Differential Equations and Operators

Ordinary Differential Equations and Operators

$44.99
A Comparative Study of Minority Development in China and Canada

A Comparative Study of Minority Development in China and Canada

$54.99
Identitt

Identitt

$49.99
previous
next