Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
A Theory and Practice of Program Development
Best Price (Coupon Required):
Buy A Theory and Practice of Program Development for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Rationalitt und Irrationalitt in den Wissenschaften
$49.99
Cholesterol
$219.99
Integrative Approaches in Environmental Health and Exposome Research
$159.99
Managementvergtung, Corporate Governance und Unternehmensperformance
$69.99
Making Sense of Prostitution
$109.99
Architecting Web Services
$49.99
Berechnung der Einsenkung von Eisenbetonplatten und Plattenbalken
$49.99
Advanced Turbulent Flow Computations
$169.99
4th International Symposium of Space Optical Instruments and Applications
$84.99
Two-Fluid Model Stability, Simulation and Chaos
$139.00
Theory and Applications of Applied Electromagnetics
$169.99
La lnea
$5.96
Algebraic and Logic Programming
$39.99
Investing in E-Health
$84.99
Steuerrecht-Kompakt fr Heilberufe
$29.99
Handbook of Gas Sensor Materials
$219.99
Those Shoes
$6.71
Atlantic Worlds in the Long Eighteenth Century
$54.99
Stadt, Strae und Verkehr
$34.99
Bygone Utopias and Farm Protest in the Rural Midwest
$139.99
Logical Aspects of Computational Linguistics
$54.99
Manipulating Hegemony
$84.99
Iterative Identification and Restoration of Images
$129.00
Abandoned Buildings in Contemporary Cities: Smart Conditions for Actions
$159.99
International Perspectives on Sport for Sustainable Development
$109.99
Berufliche Karrieren von Frauen
$29.99
Advances in Two-Phase Flow and Heat Transfer
$219.99
France and the Politics of European Economic and Monetary Union
$54.99
Czechoslovakia: Crossroads and Crises, 191888
$39.99
Computer Vision ECCV 2018 Workshops
$39.99
Cervical Spine
$79.99
Climate Change and its Effects on Water Resources
$129.00
Muscle Imaging in Health and Disease
$84.99
Evaluating Economic Liberalization
$69.99
High Performance Computing and Communications
$109.99
Wertorientiertes Controlling von Service-orientierten Informationssystemen
$74.99
Lehrbuch der Algebra
$49.99
Evolutionary Trends of the Internet
$84.99
Many Lives, Many Masters- The True Story of a Prominent Psychiatrist, His Young Patient, and the Past-Life Therapy That Changed Both Their Lives by Br
$22.00
Europische Identitt in der Krise?
$49.99
