Copied Constructing Correct Software
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recently, of program verification (in which the theorem must be proved). Proofs are difficult, though even with the use of powerful theorem provers. This volume explains and illustrates an alternative method, which allows the construction of (necessarily correct) algorithms from a specification using algebraic transformations and refinement techniques which prevent the introduction of errors. Based on teaching material used extensively at Loughborough University, John Cooke introduces the basics, using simple examples and lots of detailed working (which can often be re-used). Constructing Correct Software will provide invaluable reading for students and practitioners of Computer Science and Software Engineering to whom correctness of software is of prime importance.
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
A Brief History of Colour Theory
$99.00
A Multidisciplinary Analysis of Controversies in the Management of Prostate Cancer
$169.00
Codeknacker gegen Codemacher
$37.99
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2012
$39.99
Large-Scale Scientific Computations
$59.99
Twelve Sporadic Groups
$84.99
A Clinicians Guide to Discussing Obesity with Patients
$64.99
Science and Diplomacy
$139.99
Weight Function Methods in Fracture Mechanics
$219.99
Allgemeine Erkenntnislehre
$179.99
Der Mensch im Beengten Raum
$59.99
Tales to Grow By: The Three Little Pigs
$19.50
Wahlkampf mit Humor und Komik
$49.99
Challenges to Democratic Governance in Developing Countries
$109.99
Geodynamic Evolution of the Southernmost Andes
$84.99
Gastroenterologische Labordiagnostik
$69.99
Mango, Abuela and Me
$5.96
Islamic Ethics and Incidental Findings
$59.99
Malignant Hyperthermia
$199.99
Medienunternehmen im Social Web
$39.99
Recent Advances in Computational Methods and Clinical Applications for Spine Imaging
$129.00
Liver Cancer in the Middle East
$129.99
Taking Sides
$5.96
Shakespeare's Cross-Cultural Encounters
$169.99
Nonlinear Analysis, Geometry and Applications
$169.99
Carl Adam Petri: Ideas, Personality, Impact
$49.99
The Dialogical Self Theory in Education
$129.99
Neuroanatomy and Pathology of Sporadic Alzheimer's Disease
$169.99
Coach and Couch
$84.99
Health and Cognition in Old Age
$109.99
Television and British Cinema
$39.99
Current Topics in Pure and Computational Complex Analysis
$39.99
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
$39.99
Sozialstrukturanalyse in einer fortgeschrittenen Gesellschaft
$44.99
Developing Courses in English for Specific Purposes
$169.99
Identifikation, Loyalitt und Kooperation
$59.99
US Policy on the UN Command
$129.99
Microstructure and Phase Transition
$84.99
Do Wave Functions Jump?
$159.99
New Advances in Intelligent Signal Processing
$109.99
