Copied Formal Methods for Multicore Programming
Formal Methods for Multicore Programming
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.
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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
ASP.NET Web API 2: Building a REST Service from Start to Finish
$69.99
Dependent Accumulation and Underdevelopment
$24.99
Fluid-Structure-Sound Interactions and Control
$219.99
Kinder und Jugendliche im Gefhlschaos
$79.99
Molekulare Gasdynamik
$69.99
I Will Teach You to Be Rich, Second Edition- No Guilt. No Excuses. No B.s. Just a 6-Week Program That Works by Ramit Sethi
$16.99
Computer Networks / Computernetze
$24.99
Betriebswirtschaftliche Implikationen der digitalen Transformation
$59.99
Molecular Catalysis of Rare-Earth Elements
$219.99
Shakespeare and the Embodied Heroine
$54.99
Intelligent Organizations
$99.00
Harpsichord and Lute Music in 17th-Century France
$109.99
Handbook of Mathematics
$99.00
Digital Business Development
$44.99
Felix Hausdorff - Gesammelte Werke Band II
$179.99
Difficult Situations in Business Coaching
$84.99
Explosion Risk of Solid Biofuels
$54.99
Mechanisms of Gene Regulation
$69.99
ReView
$39.99
Introduction to the Theory of Standard Monomials
$49.99
Waldpolitik in Costa Rica und Chile
$59.99
The Spanish Economy
$54.99
Global Health Leadership
$59.99
A Rights-Based Approach to Social Policy Analysis
$49.99
Itty Bitty Princess Kitty: The Royal Ball
$5.21
Asphaltenes
$109.99
Der Verkauf elektrischer Arbeit
$59.99
Lived Religion, Conversion and Recovery
$109.99
Entwicklung und Erprobung eines kompetenzorientierten Leistungstests auf unternehmerisches Wissen un
$79.99
Writing Chinese
$54.99
Growth Curve Models and Statistical Diagnostics
$109.99
Asian Research on English for Specific Purposes
$109.99
The Pulsations of the Sun and the Stars
$39.99
IFM99
$109.99
Foundations for a Scientific Analysis of Value
$54.99
Otto Sterns gesammelte Briefe Band 3
$59.99
Analytical Methods in Statistics
$99.00
Plant Hormones and their Role in Plant Growth and Development
$109.99
Character, Acting and Being on the Pre-modern Stage
$54.99
Beginning SVG
$64.99
