Copied A Theory and Practice of Program Development
A Theory and Practice of Program Development
A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is assumed, thus making it widely accessible. A Theory and Practice of Program Development is intended for 3rd/4th year undergraduate and postgraduate students taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code.
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
Central and East European Migrants' Contributions to Social Protection
$84.99
Cell Entry by Non-Enveloped Viruses
$169.99
Reading Late Lawrence
$54.99
Multicomponent Transport Algorithms
$39.99
Inklusion und Teilhabe durch Arbeitnehmergenossenschaften
$44.99
Landschaftsgovernance
$24.99
Advanced Microsystems for Automotive Applications 2012
$169.00
Classic Papers in Shock Compression Science
$219.99
Ac-Au
$54.99
Electre and Decision Support
$109.99
Drug Target Selection and Validation
$159.99
Rocky Shores: Exploitation in Chile and South Africa
$54.99
Die Pathologien der Moderne
$69.99
Sexual Subjects
$84.99
Medieval Considerations of Incest, Marriage, and Penance
$99.99
Advances and Impacts of the Theory of Inventive Problem Solving
$109.99
Debating Divorce in Italy
$54.99
Rookie Biographies: Malala Yousafzai
$4.46
New Directions in Guided Wave and Coherent Optics
$74.99
Pseudorandom-Signalverarbeitung
$39.99
Bond-Orientational Order in Condensed Matter Systems
$39.99
Counterfeit Integrated Circuits
$169.99
The China Tax Guide
$39.99
Die Doktorarbeit: Vom Start zum Ziel
$29.99
Applications of Operations Research to Health Care Delivery Systems
$109.99
Einfhrung in die Differential- und Integralrechnung nebst Differentialgleichungen
$69.95
Security and Privacy in User Modeling
$54.99
Data Mining
$169.99
Festigkeit und Formnderung
$59.99
Ultrasound Diagnosis of Digestive Diseases
$84.99
High-Performance Computing Infrastructure for South East Europe's Research Communities
$84.99
Antiquity and the Middle Ages
$37.99
Production Ecology of British Moors and Montane Grasslands
$84.99
Microbiological Activity for Soil and Plant Health Management
$189.00
John Cowper Powys in Search of a Landscape
$44.99
The Birmingham Group
$84.99
Conservation in Chilean Patagonia
$59.99
Scanning Tunneling Microscopy III
$109.99
Fuzzy Leadership
$17.99
Reactor Core Monitoring
$109.99
