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

Active Rules in Database Systems

Active Rules in Database Systems

$169.99
The Caribbean Economy in the Age of Globalization

The Caribbean Economy in the Age of Globalization

$39.99
Content Infrastructure Management

Content Infrastructure Management

$39.99
Simulation Training in Laparoscopy and Robotic Surgery

Simulation Training in Laparoscopy and Robotic Surgery

$54.99
Methods in Membrane Lipids

Methods in Membrane Lipids

$169.99
Handbook of Continuum Mechanics

Handbook of Continuum Mechanics

$169.99
Plant Cytogenetics and Cytogenomics

Plant Cytogenetics and Cytogenomics

$299.99
Die sozialwissenschaftliche Erforschung Ostafrikas 19541963

Die sozialwissenschaftliche Erforschung Ostafrikas 19541963

$59.99
Free Radical Reactions in Medicine

Free Radical Reactions in Medicine

$84.99
Technologies of Robotic Welding

Technologies of Robotic Welding

$149.99
Advances in Nuclear Science and Technology

Advances in Nuclear Science and Technology

$84.99
Microfluidics

Microfluidics

$219.99
The Body and Social Psychology

The Body and Social Psychology

$89.00
Syndicated Loans

Syndicated Loans

$109.99
The Impacts of Climate Variability on Forests

The Impacts of Climate Variability on Forests

$39.99
Kierkegaard and Japanese Thought

Kierkegaard and Japanese Thought

$84.99
A Friendly Guide to Wavelets

A Friendly Guide to Wavelets

$64.99
Super-Resolution Microscopy

Super-Resolution Microscopy

$119.00
Asthma

Asthma

$69.99
Visualization for Information Retrieval

Visualization for Information Retrieval

$109.99
Applied WPF Context

Applied WPF Context

$39.99
Advances in Minimally Invasive Surgery and Therapy for Spine and Nerves

Advances in Minimally Invasive Surgery and Therapy for Spine and Nerves

$169.00
Lantibiotics and Related Peptides

Lantibiotics and Related Peptides

$129.00
A Primer on Memory Persistency

A Primer on Memory Persistency

$44.99
The ortho Side of PCBs

The ortho Side of PCBs

$169.99
Increasing Shareholder Value

Increasing Shareholder Value

$84.99
Topics in Numerical Methods for Finance

Topics in Numerical Methods for Finance

$84.99
International Marketing Management

International Marketing Management

$29.99
Qualittsmanagement fr Dienstleistungen

Qualittsmanagement fr Dienstleistungen

$89.99
Guide to Competitive Programming

Guide to Competitive Programming

$39.99
Structure of Atomic Nuclei / Bau der Atomkerne

Structure of Atomic Nuclei / Bau der Atomkerne

$84.99
Enzymes, Receptors, and Carriers of Biological Membranes

Enzymes, Receptors, and Carriers of Biological Membranes

$109.99
Nutrition Guide for Physicians and Related Healthcare Professions

Nutrition Guide for Physicians and Related Healthcare Professions

$189.00
DNA Systems Under Internal and External Forcing

DNA Systems Under Internal and External Forcing

$109.99
Middle World

Middle World

$37.99
Pattern Recognition and Computer Vision

Pattern Recognition and Computer Vision

$54.99
Hormonal Diseases

Hormonal Diseases

$24.99
Proceedings of the 1996 Multicultural Marketing Conference

Proceedings of the 1996 Multicultural Marketing Conference

$169.99
Quellung und Schrumpfung von Kunstharz-Prestoffen auf Grundlage hrtbarer Phenolharze

Quellung und Schrumpfung von Kunstharz-Prestoffen auf Grundlage hrtbarer Phenolharze

$49.99
Convection in Ferro-Nanofluids: Experiments and Theory

Convection in Ferro-Nanofluids: Experiments and Theory

$39.99
previous
next