Copied FM 2015: Formal Methods
FM 2015: Formal Methods
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
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
Allies (Hardcover)
$13.49
The Rise of New Brokerages and the Restructuring of Real Estate Value Chain
$99.00
Structural Sensitivity Analysis and Optimization 1
$189.00
How You Got So Smart
$4.46
Die Chromlederfabrikation
$59.99
Vorlesungen ber numerische Mathematik
$69.95
Prevention of Alcohol Abuse
$39.99
Codierungstheorie und Kryptographie
$19.95
Normative Grenzen fr internetbasierte Ermittlungsmethoden
$64.99
Software als Arbeit gestalten
$69.95
Elektronische Marktpltze
$99.00
Negotiating Terrain in Local Governance
$159.99
iek through Hitchcock
$99.00
The Ethics of Choosing Children
$59.99
Contemporary Organized Crime
$119.00
Lipedema
$29.99
Marine Mammal Welfare
$279.99
Der Staat als Zufall und als Notwendigkeit
$44.99
ALLPLOT im Ingenieurbau
$39.99
Spielarten des politischen Konsums
$59.99
Advances in Unconventional Computing
$219.99
Modulfunktionen und quadratische Formen
$54.99
Atomphysik und menschliche Erkenntnis
$89.99
Machines, Computations, and Universality
$149.00
Fortschritte der Hochpolymeren-Forschung / Advances in Polymer Science
$74.99
Biotechnology and Biochemical Engineering
$109.99
Molecular Reviews in Cardiovascular Medicine
$109.99
Artificial Intelligence in Ophthalmology
$179.99
Chemicals via Higher Plant Bioengineering
$129.00
100 Drives, 5,000 Ideas - Where to Go, When to Go, What to Do, What to See by Joe Yogerst
$24.99
Multiple Criteria Decision Making
$159.99
Language Processing and Intelligent Information Systems
$39.99
Mit Verantwortung handeln
$49.99
Biomedical Ethics Reviews 1985
$109.99
Language Policy and Economics: The Language Question in Africa
$54.99
Learning and Teaching for Teachers
$99.99
Structure, Function, and Genetics of Ribosomes
$84.99
Modern Portfolio Optimization with NuOPT, S-PLUS, and S+Bayes
$109.99
Sensors and Instrumentation, Aircraft/Aerospace, Energy Harvesting & Dynamic Environments Testing, V
$219.99
European Perspectives on Taiwan
$54.99
