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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Image-Guided Stereotactic Radiosurgery
$89.00
Special Topics in Structural Dynamics, Volume 6
$219.99
Ethical Citizenship
$39.99
Instrumente des Umweltrechts der frheren DDR
$89.99
Symmetry in Complex Network Systems
$109.99
Antike Revisionen des Vergil und Ovid
$44.99
Social Capital Construction and Governance in Central Asia
$119.99
Rethinking Food System Transformation
$109.99
Einfhrung in die Regenerative Energiewirtschaft
$29.99
Handbook of Combinatorial Optimization
$129.00
Wonder Woman
$54.99
Technology, Economic Growth and the Labour Process
$44.99
Ferdinand Tnnies und die Soziologie- und Geistesgeschichte
$74.99
Seizures in Critical Care
$139.99
Helium-3 and Helium-4
$54.99
Quantum Coherence in Mesoscopic Systems
$219.99
The Collapse Frequency of Structures
$129.99
Advances in Artificial Intelligence
$39.99
Zukunft der Innenstadt
$69.99
Emerging Threats to Energy Security and Stability
$169.00
Learning from VLSI Design Experience
$109.00
Elektronische Signaturen
$69.99
Mglichkeiten der Kanalzustandsprognose
$69.99
Finanzierungspraxis von Biogasanlagen in der Landwirtschaft
$64.99
Wettbewerb der Destinationen
$79.99
Grostadt
$49.99
Theory of Legal Principles
$179.99
Visualization and Imputation of Missing Values
$179.99
Polynomials
$54.99
Machine Learning Projects for .NET Developers
$89.99
Plural Leadership
$17.99
Psychological and Transcendental Phenomenology and the Confrontation with Heidegger (19271931)
$159.99
Viral and Other Infections of the Human Respiratory Tract
$169.99
eSport
$24.99
Recombinant Enzymes - From Basic Science to Commercialization
$109.99
My Books Every Day Exploring With STEM Grade 1 Student & Family Pack
$36.95
Londons Women Artists, 1900-1914
$119.99
Social Exclusion in Later Life
$59.99
Dimensionality Reduction of Hyperspectral Imagery
$99.99
Gesellschaftliche Berichterstattung
$69.99
