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
WASSIM Computersimulation von Wasserversorgung und Abwasserentsorgung in Verdichtungsrumen
$49.99
Proceedings of the 6th International Conference on Electrical Engineering and Information Technologi
$279.99
Advances in Computer Vision
$54.99
Marx, Alienation and Techno-Capitalism
$99.00
Knstlerhuser
$54.99
Prostaglandins and Immunity
$129.00
Learning from the South Korean Developmental Success
$84.99
Stevie Smith
$109.99
Business Process Management
$54.99
Gendered Readings of Change
$54.99
Distribution und Schutz digitaler Medien durch Digital Rights Management
$44.99
Oceania Entrepreneurship
$179.99
Intrinsically Disordered Proteins
$299.99
The Trail
$6.74
Symplectic Geometry and Secondary Characteristic Classes
$79.99
Gilles Deleuze: Travels in Literature
$54.99
Nano/Micro Biotechnology
$329.99
Water Snowline in Protoplanetary Disks
$109.99
Generations- und Fhrungswechsel im Familienunternehmen
$49.99
Super Rabbit Boy vs. Super Rabbit Boss!: A Branches Book (Press Start! #4)
$5.24
Simulation in der Automobilproduktion
$89.99
Moon First and Mars Second
$64.99
Identitt in der modernen Arbeitswelt
$54.99
Product Lifecycle Management: Towards Knowledge-Rich Enterprises
$109.99
War, Religion and Court Patronage in Habsburg Austria
$39.99
Genomics of Plant-Associated Fungi: Monocot Pathogens
$169.99
Textbook on Scar Management
$59.99
The Politics of Immigration in Multi-Level States
$29.99
Utility of Bromelain and N-Acetylcysteine in Treatment of Peritoneal Dissemination of Gastrointestin
$109.99
Environment, Climate, Plant and Vegetation Growth
$219.99
Food Hygiene, Microbiology and HACCP
$99.99
Applications of Evolutionary Computation
$54.99
Intelligent Agents VII. Agent Theories Architectures and Languages
$39.99
Peasants and Government in the Russian Revolution
$19.99
Weekly Reader: Summer Express (Between Grades 3 & 4) Workbook
$9.74
The Outsourcing Enterprise
$39.99
I Survived Collection Grades 4-6
$79.00
The Welfare State and the 'Deviant Poor' in Europe, 1870-1933
$54.99
The Pleistocene
$219.99
Biomarkers and Mental Illness
$32.99
