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 2012: Formal Methods

FM 2012: Formal Methods

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

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.

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

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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

$39.99
See Site In stock Visit Store

Similar Products

Scripting Intelligence

$44.99

Essentials of Biochemistry

$54.99

Exploring the Ocean Worlds of Our Solar System

$44.99

Atomic Layer Epitaxy

$109.99

GnRH Analogues in Reproduction and Gynecology

$39.99

Vordere Kreuzbandplastik

$19.99

Reimagining Mobility in Higher Education

$159.99

Behavior of Macromolecules

$84.99

Mechanistic Explanations in Physics and Beyond

$139.99

Zeitfragen der Medizin

$59.99

Aortic Dissection and Related Syndromes

$219.99

Globalization and Development

$54.99

Applying the Humanities

$109.99

My Books Summer Grade 2 Fiction 5-Book Pack

$29.95

Die andere Seite der Bildung

$39.99

Shades of Magic Trilogy Boxed Set- A Darker Shade of Magic, A Gathering of Shadows, A Conjuring of Light by V. E. Schwab

$56.97

Aaron Slater, Illustrator by Andrea Beaty

$18.99

MicroNano Integration

$39.99

Research, Quality, Competitiveness

$119.00

Recent Challenges in Intelligent Information and Database Systems

$84.99

Voices of Resilience

$49.99

Hartree-Fock Ab Initio Treatment of Crystalline Systems

$109.99

Rheuma - Lernen, mit der Krankheit gut zu leben

$44.99

Kulturtourismusmarketing

$17.99

Multi-objective Management in Freight Logistics

$179.99

Interaktive Datenvisualisierung in Wissenschaft und Unternehmenspraxis

$39.99

QuarkGluon Plasma

$109.99

Sports Injuries of the Hand and Wrist

$109.99

The Renaissance Man and his Children

$109.99

Zielorientierte Unternehmensfhrung

$69.99

Reductionism and Cultural Being

$169.99

Mechanics of Microstructured Materials

$109.99

Calcium-Binding Proteins of the EF-Hand Superfamily

$169.00

Indian Philosophy of Religion

$84.99

Zapato Power: Freddie Ramos Makes a Splash

$5.21

Learning, Work and Social Responsibility

$84.99

Pharma-Einkauf

$44.99

Technologies for Deep Space Exploration

$149.00

Statistics and Probability in High School

$39.99

Coronary Circulation

$169.00