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
Plant Cell, Tissue and Organ Culture
$129.00
Servant Leader Human Resource Management
$119.99
Circuit Design and Simulation Quick Start Guide
$49.99
Mathematics of Program Construction
$54.99
Frankreich
$59.99
Briefe und Tagebcher
$84.99
Challenges to Public Value Creation
$129.99
Beyond Positive Economics?
$109.99
Gibt es die optimale Einkaufsorganisation?
$59.99
Design Thinking etablieren
$59.99
Demokratische Brgerbeteiligung auerhalb des Wahllokals
$44.99
Literatur und Studentenbewegung
$59.99
Strahllrm von Triebwerken durch akustische Rckkopplung
$59.99
Bildung in der Praxis Offener Kinder- und Jugendarbeit
$39.99
Biofuels
$259.00
Poultry & Game
$54.99
Myocardial Ischemia and Preconditioning
$219.99
Topics in Dynamics of Civil Structures, Volume 4
$449.99
Human Flourishing
$59.99
Qualittssicherung durch Softwaretests
$37.99
Brain Ischemia
$129.00
Hazardous Chemicals in Products and Processes
$84.99
Switchable Constraints for Robust Simultaneous Localization and Mapping and Satellite-Based Localiza
$159.99
Subject-Oriented Business Process Management. Models for Designing Digital Transformations
$79.99
Dermatology
$84.99
The Many Faces of Judge Lynch
$39.99
Challenging Democracy in Early Childhood Education
$159.99
Rhyme Around the World: Walking Through Africa
$5.21
Contemporary Issues in Science and Technology Education
$159.99
Cryptology and Network Security
$54.99
Schule 2020 aus Expertensicht
$69.99
Psychology of Sustainability
$109.99
Die beta-inside Galaxie
$54.99
Rarity and the Poetic
$39.99
Entscheidungskriterien bei Risiko
$29.99
Mapping Legal Innovation
$169.99
Meyers' Dynamic Radiology of the Abdomen
$139.00
Eleanor Makes Her Mark (Hardcover)
$14.24
Polymer Science Dictionary
$329.99
VLSI: Systems on a Chip
$219.99
