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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Mergers & Acquisitions von brsennotierten Unternehmen in Deutschland
$59.99
An Introduction to Analysis on Wiener Space
$29.99
Migrant Entrepreneurship Network Structures
$54.99
Political Economy for Socialism
$59.99
Electrically Driven Quantum Dot Based Single-Photon Sources
$109.99
Real World Windows 8 Development
$49.99
High-Tc Superconductors for Magnet and Energy Technology
$129.00
Aristotle on Truth, Dialogue, Justice and Decision
$159.99
Power in Contemporary Japan
$139.00
Algebraic Geometry, Sitges (Barcelona) 1983
$54.99
Information Systems and Technologies
$229.00
Crime, Anti-Social Behaviour and Schools
$54.99
New Technologies, Development and Application VI
$329.99
Advances in Rechargeable LithiumSulfur Batteries
$249.99
Design, Specification and Verification of Interactive Systems 98
$54.99
Coastal and Marine Environmental Education
$109.99
Management of Science-Intensive Organizations
$109.00
Statistische Datenanalyse mit SPSS fr Windows
$39.99
Fhrungsethik
$29.99
Internationale Politik studieren
$39.99
The WTO and Developing Countries
$109.99
Welsh Writing, Political Action and Incarceration
$39.99
Earth! My First 4.54 Billion Years by Stacy McAnulty
$19.99
Logic-Based Program Synthesis and Transformation
$54.99
Radiology of Thalassemia
$84.99
Estrogens, Progestins, and Their Antagonists
$84.99
Body Sensor Networks
$89.00
Cataclysmic Variables and Related Objects
$169.99
Husband Material by Alexis Hall
$15.99
Shakespeare and Sexuality in the Comedy of Morecambe & Wise
$84.99
When China Goes to the Moon..
$169.99
Fog Computing for Healthcare 4.0 Environments
$139.00
National Geographic Kids: Explore My World: Planets
$3.71
Racism and Colonialism
$169.99
Special Relativity
$54.99
Modular Forms: Basics and Beyond
$159.99
Electronic Retailing
$69.99
Archaeometallurgy Materials Science Aspects
$129.00
America Imagined
$54.99
Advancement of Selective Laser Melting by Laser Beam Shaping
$119.99
