Copied FM 2012: Formal Methods
FM 2012: Formal Methods
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.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
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
