Copied Formal Methods and Software Engineering
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.
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
Mit 50 schon zum alten Eisen?
$69.99
Economics of Urban Externalities
$54.99
Guide to Maritime Informatics
$79.99
Flax-TRM Composite Systems for Strengthening of Masonry
$199.99
Solvability of Nonlinear Equations and Boundary Value Problems
$109.99
Energy Resilience and Climate Protection
$64.99
Hydrocarbons: Source of Energy
$219.99
The Global Financial Crisis
$54.99
Europe's Century of Crises Under Dollar Hegemony
$29.99
Wirkung von Muskelruhelnge und Trainingsart auf Kraftverlauf und Grenzkraft bei isometrischem Train
$59.99
Applied Computing
$54.99
Gender Work
$54.99
Guided Reading Level J Pack 3
$63.00
Brgerbeteiligung als Finanzierungsinstrument fr (neue) Geschftsfelder kommunaler Stadtwerke in de
$79.99
Computer Vision ECCV 2024
$64.99
Multimedia, Vernetzung und Software fr die Lehre
$69.99
Drug Discovery and Design Using Natural Products
$189.00
Lithosphere Dynamics and Sedimentary Basins of the Arabian Plate and Surrounding Areas
$109.99
Analytical Solutions for Transport Processes
$109.99
Female Genital Mutilation/Cutting in Children and Adolescents
$49.99
Multidisciplinarity and Interdisciplinarity in Health
$169.99
Transfer Prices and Management Accounting
$54.99
A Treatise of Indian and Tropical Soils
$54.99
Mining the World Wide Web
$139.00
Fractal Tomography for Power Grids
$49.99
Simulations, Serious Games and Their Applications
$109.99
Resources, Co-Evolution and Artifacts
$109.99
Age of the Geek
$119.99
Citizenship, Identity and the Politics of Multiculturalism
$109.99
Kompakt-Lexikon HR
$37.99
The Many-Body Problem
$39.99
Kompakt-Lexikon Wirtschaftsinformatik
$19.99
Konzepte und Methoden von Sozialberichterstattung
$69.99
Analytics in Healthcare
$59.99
Dynamic Feature Space Modelling, Filtering and Self-Tuning Control of Stochastic Systems
$54.99
Marketing and Smart Technologies
$329.99
Optimization and Logistics Challenges in the Enterprise
$84.99
Konstruktiver Ingenieurbau und Hochbau
$74.99
Trade, Growth, and Economic Policy in Open Economies
$54.99
Variational Methods for Discontinuous Structures
$39.99
