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
The Prison Boundary
$109.00
Evolving Euroscepticisms in the British and Italian Press
$39.99
Thromboplastin Calibration and Oral Anticoagulant Control
$39.99
Nothing Is Too Wonderful to Be True
$49.99
Search for the Standard Model Higgs Boson in the H ZZ l + l - qq Decay Channel at CMS
$84.99
Agent and Multi-Agent Systems in Distributed Systems - Digital Economy and E-Commerce
$109.99
Women, Gender, Religion
$99.99
Dermatological Diseases of the Nose and Ears
$89.00
English One Tongue, Many Voices
$109.99
Literatur und Politik bei Peter Weiss
$59.99
Intelligent Systems II: Complete Approximation by Neural Network Operators
$129.00
Software Technologies for Embedded and Ubiquitous Systems
$39.99
The Metabolic Syndrome in Clinical Practice
$59.99
Dog Smart: Life-Changing Lessons in Canine Intelligence Book Official shopDisney
$30.00
Algorithms - ESA '98
$39.99
Lonely Children and Adolescents
$39.99
Intelligent Data Engineering and Automated Learning - IDEAL 2000. Data Mining, Financial Engineering
$84.99
Trugschlsse
$59.99
Schur Parameters, Factorization and Dilation Problems
$39.99
Dampfturbinen-Verbrauchsdiagramme
$59.99
The Evaluation of Beat Blocker and Calcium Antagonist Drugs
$54.99
The Changing Politics of Gender Equality
$84.99
Palgrave Advances in Development Studies
$54.99
String Topology and Cyclic Homology
$29.99
The Innermost Kernel
$179.99
Nationale Zusammengehrigkeit und moderne Vielfalt
$64.99
Nachhaltigkeitscontrolling
$44.99
Dialogue as a Means of Collective Communication
$84.99
Proceedings of the 8th International Congress on Environmental Geotechnics Volume 2
$219.99
Seasons Text Set: Grade K
$215.00
Grundlagen der Elektrotechnik und Elektronik 2
$39.95
Science and Sensibilia by W. V. Quine
$89.99
First-Trimester Ultrasound
$169.00
Cyberactivism and Citizen Journalism in Egypt
$54.99
Clinical Electroencephalography
$149.00
Neurologie
$69.99
Cholangioscopy
$69.99
Computers and Games
$54.99
Verrechnungspreise
$69.99
Recycled Aggregate in Concrete
$169.99
