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

Kraftfahrzeugfhrung

$99.99

Techniques in Archaeological Geology

$199.99

Investitionsentscheidungsproze fr numerisch gesteuerte Fertigungssysteme (NC-Maschinen)

$69.99

Artificial Intelligence and Exponential Technologies: Business Models Evolution and New Investment O

$44.99

Eindimensionale Strmung in Strahlapparaten

$59.99

Porous Materials for Carbon Dioxide Capture

$109.99

Information and Knowledge Management in Complex Systems

$54.99

Number Theory and Physics

$109.99

Handbuch Emotionsregulation

$64.99

Juristische Aspekte des Qualittsmanagements

$99.99

Cancer Biomarkers in Diagnosis and Therapeutics

$169.00

The Automotive Transmission Book

$99.00

Sandostatin in the Treatment of Gastroenteropancreatic Endocrine Tumors

$84.99

Language Production, Cognition, and the Lexicon

$109.99

Gibbs Semigroups

$139.99

Atlas der Tumoren des Gesichtsschdels

$54.99

The Elderly

$54.99

Theory and Methodology of Electromagnetic Ultrasonic Guided Wave Imaging

$109.99

The International Handbook of Space Technology

$649.99

Internetworking

$64.99

Archaea

$169.99

Venezuela: A Petro-State Using Renewable Energies

$39.99

Quaternary Foraminifera of the Caspian-Black Sea-Mediterranean Corridors: Volume 1

$129.00

Public Policies for Territorial Cohesion

$139.99

The Proceedings of the 18th Annual Conference of China Electrotechnical Society

$299.00

Platero y yo

$7.46

Schmerzverhtung

$59.99

Advances in Nuclear Physics

$54.99

The Economics of Smoking

$109.99

Programmplanung als Instrument der Stadtentwicklungsplanung

$59.99

Trust, Privacy and Security in Digital Business

$54.99

Selectivity in the Synthesis of Cyclic Sulfonamides

$39.99

Imperial Hygiene

$139.99

Technische Transport- und Lagerlogistik

$34.99

George Devereux zum 75. Geburtstag Eine Festschrift

$59.99

Louis Vuitton - Extraordinary Voyages by Francisca Matteoli

$75.00

Numerical Mathematics

$54.99

Maize

$189.00

CONCUR 2007 - Concurrency Theory

$39.99

Fly Guy Meets Fly Girl! (Fly Guy #8) (Hardcover)

$5.99