Copied FM 2011: Formal Methods
FM 2011: Formal Methods
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.
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
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
