Copied Formal Methods and Software Engineering
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verication and validation, software engineering, formal specication and modeling, software security, and software reliability.
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
Die Narrative Landkarte als Diagnoseinstrument
$44.99
Remediation Measures for Radioactively Contaminated Areas
$199.99
Soziologie & Kommunikation
$39.99
Automatische Schreibfehlerkorrektur in Texten
$69.99
Autologous Resurfacing and Fracture Dowelling
$84.99
ICT for Smart Water Systems: Measurements and Data Science
$259.00
Computational Methods in Power System Analysis
$149.99
Von der Produktidee zum Markterfolg
$69.99
Praxis der Psychotherapie
$69.99
Genetic Programming Theory and Practice III
$169.99
Women, Power Relations, and Education in a Transnational World
$84.99
Efficiency, Sustainability, and Justice to Future Generations
$169.99
Asymmetric Monetary Transmission in Europe
$84.99
Advances in Molten Slags, Fluxes, and Salts
$319.00
Endoprothetik der Hfte
$179.99
Defining Literary Criticism
$54.99
AI, Blockchain and Self-Sovereign Identity in Higher Education
$219.99
Music and the Environment in Dystopian Narrative
$64.99
Truth or Consequences
$129.00
Missile and Space Projects Guide 1962
$39.99
Theory and Applications of Models of Computation
$139.00
Know-how-Management bei der Grndung innovativer Unternehmen
$74.99
Offshoring von Zentralbereichen
$59.99
Handbook of Cancer Survivorship
$149.00
Verkehrsdynamik und -simulation
$64.99
Translation, Globalization and Translocation
$139.99
The Milky Way Galaxy
$109.99
Population and family in the Low Countries II
$54.99
Dynamic Logic. New Trends and Applications
$54.99
Cruise Sector Challenges
$54.99
Advances in the Statistical Sciences: Stochastic Hydrology
$109.99
Nanovaccinology
$199.99
Contagion, Counter-Terrorism and Criminology
$59.99
Fake Meds Online
$39.99
Intelligent Computing in Control and Communication
$169.00
Molecular Biology of Acute Lung Injury
$169.99
Computational Science and Its Applications -- ICCSA 2013
$54.99
Handbook of Maleic Anhydride Based Materials
$349.00
The Birth of Twentieth-Century Chinese Literature
$109.99
Die Dynamik Europas
$37.99
