Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

FM 2011: Formal Methods

FM 2011: Formal Methods

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

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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
Contact Store Call Store Contact Support
$39.99 $39.99

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

Similar Products

Innate Tolerance in the CNS

$169.00

Management and War

$159.99

Geohazards

$279.99

Competitive Strategies in Life Sciences

$129.00

Podcast Solutions

$19.99

Quantization and Infinite-Dimensional Systems

$74.99

The Civilising Mission and the English Middle Class, 1792-1850

$119.99

Shape Design Sensitivity Analysis and Optimization Using the Boundary Element Method

$109.99

Parental Life Courses after Separation and Divorce in Europe

$49.99

Correlation Effects in Low-Dimensional Electron Systems

$84.99

Strategische Produktgestaltung

$49.99

Astrophysical Data

$39.99

Food Science

$49.99

Consumption Structure and Macroeconomics

$54.99

Proceedings of the 3rd International Symposium on Orbital Disorders Amsterdam, September 57, 1977

$39.99

Semiconductor Nanotechnology

$179.99

Applied Mathematics for Economics

$39.99

Integration of Fundamental Polymer Sciene and Technology5

$74.99

Parallel Computing Technologies

$54.99

Zum Einfluss von Computeralgebrasystemen auf mathematische Grundfertigkeiten

$44.99

Kimberlites, Orangeites, and Related Rocks

$39.99

Schulpolitik in Stdten mit Schlerrckgang

$64.99

Safe, Autonomous and Intelligent Vehicles

$139.99

Versuche zur gleichzeitigen Gewinnung von Hefeeiwei und Antibiotika

$54.99

Entities and Structures in the Embedding Process

$39.99

Political Memory and the Constantinian Dynasty

$129.99

Emerging Optical Network Technologies

$84.99

Modern Electrical Equipment for Automobiles

$54.99

Fundamentals of Bioinformatics and Computational Biology

$219.99

Positive Trigonometric Polynomials and Signal Processing Applications

$109.99

Holzbau 2

$39.99

Graph Based Representations in Pattern Recognition

$54.99

Das Potential der Pflege-Robotik

$59.99

The Japanese Economy Reconsidered

$54.99

Understanding the Global Dimensions of Health

$109.99

Handbook of Intellectual and Developmental Disabilities

$249.99

Prosecuting Domestic Abuse in Neoliberal Times

$129.99

Topics in Matroid Theory

$54.99

Divisia Monetary Aggregates

$109.99

After the crash is before the crash

$54.99