Copied FM 2014: Formal Methods
FM 2014: Formal Methods
This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.
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
|
|
$84.99 | $84.99 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
British Romanticism in European Perspective
$39.99
Meningiomas
$219.99
Constituting Communities
$39.99
Kants Theory of Knowledge
$54.99
Critical Theory and Political Engagement
$39.99
Zauber des Huangshan
$54.99
Coqu in the City
$5.21
Ovarian Follicular and Corpus Luteum Function
$84.99
Cognitive Autonomy and Methodological Individualism
$54.99
The Theatrical Spectaculum
$99.99
Selected Correspondence
$129.00
Hybrid and Real-Time Systems
$39.99
Physics and Applications of Non-Crystalline Semiconductors in Optoelectronics
$219.99
Epigenetic Epidemiology
$249.99
Connectivity and Edge Computing in IoT: Customized Designs and AI-based Solutions
$139.99
How to Stop Worrying and Start Living by Dale Carnegie
$19.99
Building APIs with Node.js
$37.99
Trockenspinnverfahren fr Leinengarne und Einsatz trocken gesponnener Garne in der Leinenweberei
$59.99
Die Versuchsanlage fr den Wettbewerb um den Kaiserpreis fr den besten deutschen Flugzeugmotor
$54.99
Robust Controller Design Using Normalized Coprime Factor Plant Descriptions
$99.00
Enchanting Robots
$99.99
Frontiers of Medicine
$39.99
European Spatial Data for Coastal and Marine Remote Sensing
$249.99
Klassiker der Hochschuldidaktik?
$54.99
Run-time Models for Self-managing Systems and Applications
$39.99
Labour and the Politics of Disloyalty in Belfast, 1921-39
$54.99
Social Impact Funds
$49.99
Sustainable Energy-Water-Environment Nexus in Deserts
$189.00
Financial Liberalization and the Asian Crisis
$84.99
Peacemaking Strategies in Northern Ireland
$109.99
Beitrag zur Kenntnis auslndischer Honige
$59.99
Constructive Quantum Field Theory II
$54.99
Pathomechanics of Common Foot Disorders
$169.99
Workload Characterization of Emerging Computer Applications
$219.99
Gastric Cancer
$159.99
Selected Topics in Nonlinear Wave Mechanics
$39.99
Thermodynamics, Gibbs Method and Statistical Physics of Electron Gases
$129.00
Lftungsanlagen in ffentlichen Gebuden
$34.99
Molecular Analysis of DNA Rearrangements in the Immune System
$39.99
Statistical Learning Theory and Stochastic Optimization
$39.99
