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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Listeria monocytogenes: Pathogenesis and Host Response
$169.99
Nonlocal Perimeter, Curvature and Minimal Surfaces for Measurable Sets
$59.99
Open Mapping towards Sustainable Development Goals
$59.99
Politics of Mega-Events in China's Hong Kong and Macao
$54.99
Intention Bedeutung Kommunikation
$69.99
Annals of Scientific Society for Assembly, Handling and Industrial Robotics 2022
$59.99
ber den derzeitigen Stand der Bauarbeiten am Tauernkraftwerk Kaprun
$59.99
Umkmpfte Staatlichkeit
$39.99
Learn About: The Five Senses: Hearing
$5.24
Sustainable Pipe Jacking Technology in the Urban Environment
$169.99
Economic Growth and Financial Development
$219.99
Computational Science and Its Applications -- ICCSA 2013
$54.99
Analysis and Computation of Microstructure in Finite Plasticity
$109.99
Lost Libraries
$159.99
Protocols for Oligonucleotide Conjugates
$169.00
Video-Atlas of VATS Pulmonary Sublobar Resections
$139.00
Study of the Inclusive Beauty Production at CMS and Construction and Commissioning of the CMS Pixel
$109.99
Adaptive Multi-Standard RF Front-Ends
$109.99
Civic Freedom in Central Europe
$49.99
Jugendliche im bergang zwischen Schule und Beruf
$39.99
Innovative Design, Analysis and Development Practices in Aerospace and Automotive Engineering
$219.99
Die Deutschen in Ruland
$59.99
Criminalising Coercive Control
$139.00
The Law on Medicines
$39.99
Moyamoya Disease: Current Knowledge and Future Perspectives
$89.00
Climate Change in Sustainable Water Resources Management
$179.99
Aerosol Optics
$109.99
The Maple O.D.E. Lab Book
$99.00
Applied Non-Linear Dynamical Systems
$169.99
Die Reform des Geldwesens
$59.99
Schriftkultur und Reichsverwaltung unter den Karolingern
$64.99
Umweltpsychologie
$19.99
Despeckle Filtering for Ultrasound Imaging and Video, Volume I
$54.99
Advances in Polymeric Eco-Composites and Eco-Nanocomposites
$139.00
Mathematical Modeling and Optimization of Complex Structures
$109.99
BOB Books Set #3: Word Families
$17.99
Baby-Sitters Little Sister: Karen's Sleepover
$9.74
Secular State and Religious Society
$39.99
Thermodynamische Funktionen idealer Gase fr Temperaturen bis 6000 K
$79.99
Handbook of Pathology and Pathophysiology of Cardiovascular Disease
$189.00
