Copied Formal Methods and Software Engineering
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.
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
29th International Symposium on Shock Waves 1
$219.99
Verschleierung der Angaben von Elektrizittszhlern und Abhilfe
$59.99
Pathogenicity Islands and the Evolution of Pathogenic Microbes
$169.99
Die Modernisierung der Jugendhilfe im Wandel des Sozialstaates
$74.99
Therapiestudien
$69.99
High Permittivity Gate Dielectric Materials
$129.00
International Conference on Advanced Intelligent Systems for Sustainable Development
$249.99
Generalized Convexity
$109.99
Cryptographic Security Architecture
$84.99
Textbook of Patient Safety and Clinical Risk Management
$59.99
School Turnaround Policies and Practices in the US
$109.00
Wortgefecht und Sprachverwirrung
$69.99
Der agile Kulturwandel
$49.99
Artificial Intelligence Supported Educational Technologies
$179.99
Progress in Littorinid and Muricid Biology
$39.99
The Decision Maker's Handbook to Data Science
$34.99
Forever Young?
$39.99
The Dynamics of a Terrorist Targeting Process
$64.99
Quick Guide Duftmarketing
$29.99
Juvenile Delinquency
$49.99
The Lidov-Kozai Effect - Applications in Exoplanet Research and Dynamical Astronomy
$109.99
The Diffuse Interface Approach in Materials Science
$109.99
A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems
$39.99
Unternehmensgrndungen
$89.99
Hot Carrier Degradation in Semiconductor Devices
$109.99
Economic Development, Inequality and War
$109.99
Siebenunddreissigster Kongress
$44.99
India's Nuclear Fuel Cycle
$19.99
The History of Gothic Publishing, 1800-1835
$119.99
Scalable High Performance Computing for Knowledge Discovery and Data Mining
$109.99
Was kommt nach Ausbildung und Studium?
$59.99
Probabilistic and Stochastic Methods in Analysis, with Applications
$259.00
A Young Generation Under Pressure?
$84.99
Funktionale Schadensbewertung
$54.99
Publishers, Readers, and Digital Engagement
$119.99
Grnes Wunder Wald
$34.99
Karl Marx und seine Staatstheorie
$14.99
Young People's Views of Government, Peaceful Coexistence, and Diversity in Five Latin American Count
$59.99
Altern als Zukunft eine Studie der VolkswagenStiftung
$59.99
United States Arctic Interests
$84.99
