Copied Industrial-Strength Formal Methods in Practice
Industrial-Strength Formal Methods in Practice
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introductions to the techniques being used, actual fragments of formalised components, details of results and an analysis of the overall approach. It provides specific details on how to produce high-quality software that comes in on-time and within budget. Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to the following groups; academic researchers working in formal methods who are interested in evidence of their success and in how they can be applied on an industrial scale, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work.
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
|
|
$129.00 | $129.00 |
|
$116.10 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Capacity Building in Technology Transfer
$49.99
Karen's School Picture: A Graphic Novel (Baby-Sitters Little Sister #5)
$8.24
Logic, Language, Information and Computation
$39.99
Festkrperprobleme 10
$54.99
Environmental Change, Adaptation, and Security
$169.00
Machine Learning and Knowledge Extraction
$59.99
Standard-Setting Organisations IPR Policies
$159.99
Polarographie
$84.99
Kann Wissenschaft witzig?
$19.99
Nonlinear Stochastic Evolution Problems in Applied Sciences
$39.99
Trends in Bioelectroanalysis
$259.00
High-Temperature Superconductors
$109.99
SQL Server Database Programming with Java
$54.99
Thermophysikalische Stoffgren
$49.99
Statement and Referent
$54.99
Mushrooms of the Northeastern United States and Eastern Canada by Timothy J. Baroni
$29.99
The Bethesda System for Reporting Cervical/Vaginal Cytologic Diagnoses
$74.99
Rechnungswesen und EDV. 17. Saarbrcker Arbeitstagung 1996
$179.00
Retinal Degenerative Diseases and Experimental Therapy
$39.99
Histories of Global Inequality
$119.99
Frischoperiertenstation und Intensivpflege
$59.99
Current Perspectives in Hepatology
$84.99
Migrant Smuggling
$39.99
The Meiji Restoration
$54.99
The Molecular Chaperones Interaction Networks in Protein Folding and Degradation
$129.00
Proceedings of the 4th International Conference on Electronics, Biomedical Engineering, and Health I
$249.99
Chemical Applications of Atomic and Molecular Electrostatic Potentials
$169.99
Avian Brood Parasitism
$139.99
The Berkeley DB Book
$44.99
Erfolgsstrategien fr Automobilzulieferer
$49.99
I+D for Smart Cities and Industry
$129.00
After the Crash
$59.99
Vergleichende Untersuchungen an Streichgarnen, die mit der Ringspinnmaschine und mit dem Selfaktor a
$59.99
APAC 2019
$259.00
People Living with Disabilities in South African Cities
$129.00
Homo Creativus
$139.99
Begrndungsprozesse im Kontext von (digitalen) Medien im Mathematikunterricht
$59.99
Manuscript Class Hand Lettering Kit
$38.33
Free Boundary Problems
$84.99
