Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €
phone Contact phoneHow to shop

A Theory and Practice of Program Development

Language EnglishEnglish
Book Paperback
Book A Theory and Practice of Program Development Derek J. Andrews
Libristo code: 06810125
Publishers Springer, Berlin, June 1997
A Theory and Practice of Program Development provides a comprehensive introduction to a software dev... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Cirugía mínimamente invasiva en periodoncia Lalitha T. Arunachalam / Book Paperback
common.buy 40.99 €
Věchýtek Kasandřin Pavel Josefovič Hejátko / Book Paperback
common.buy 5.39 €
Visage retrouvé Mouawad / Book Paperback
common.buy 22.89 €
Educar con el cine : 22 películas María Ángeles Almacellas Bernadó / Book Paperback
common.buy 17.19 €
Pielegniarstwo pediatryczne / Book Paperback
common.buy 49.19 €
Traite Des Resistances Du Cheval Ou Methode Raisonnee de Dressage Des Chevaux Difficiles (Ed.1877) Adolphe-Gustave Gerhardt / Book Paperback
common.buy 29.19 €
Mouy Et Ses Environs: Angy, Bury, Ansacq, Cambronne, Heilles, Hondainville, (Ed.1873) Antoine-Joseph Warme / Book Paperback
common.buy 34.29 €
Aus den Zeiten des deutschen Fürstenbundes. Akademische Rede zum Geburtsfest des höchstseligen Grossherzogs Karl Friedrich, etc. Bernhard Erdmannsdoerffer / Book Paperback
common.buy 21.99 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name A Theory and Practice of Program Development
Author Derek J. Andrews
Language English
Binding Book - Paperback
Date of issue 1997
Number of pages 405
EAN 9783540761624
ISBN 3540761624
Libristo code 06810125
Publishers Springer, Berlin
Weight 638
Dimensions 156 x 234 x 21

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Encyclodpedia of Old Fishing Lures Robert A. Slade / Book Paperback
common.buy 28.29 €
Lioness: Cygnus Five Book One: A Galaxy Spanning Space Opera Alex Oliver / Book Paperback
common.buy 13.59 €
AQA German A Level Year 1 and AS Audio CDs Erika Klingler / Audio Audio CD
common.buy 138.09 €
Steps to Christ Ellen G. White 1908 Iacob Adrian / Book Paperback
common.buy 7.99 €
ACTING 2/E Joe Alberti / Book Paperback
common.buy 36.59 €
Specter of Global China Ching Kwan Lee / Book Paperback
common.buy 36.19 €
Master Your Disaster: Family Edition: Your Readiness, Response and Recovery Prep Guide Leann Hackman-Carty / Book Paperback
common.buy 8.89 €
TRAIT TH OLOGIQUE ET PHILOSOPHIQUE DE L LOUIS ELLIES DU PIN / Book Hardback
common.buy 39.69 €
Licking County's Gallant Soldiers Newark / Book Paperback
common.buy 15.09 €
Dissertations on the Genuineness of the Pentateuch E. W. Hengstenberg / Book Paperback
common.buy 88.69 €
Crime and Compensation in North Africa Christine Sagar / Book Hardback
common.buy 77.49 €
The World Almanac and Book of Facts 2024 Janssen / Book Hardback
common.buy 33.39 €
From a Nobody to Somebody The Heavenly Journey / Book Paperback
common.buy 12.29 €
Eagle's Heart Hamlin Garland / Book Paperback
common.buy 17.19 €
Guide to Carisbrooke Castle, Isle of Wight ... Rearranged by Captain J. Markland, with Notes by Percy G. Stone ... Revised Edition. Percy Goddard Stone / Book Paperback
common.buy 16.89 €
For an Hour, We Lived from Flowers Owi I Nandi / Book Hardback
common.buy 18.89 €
A COMMUNICATION ARCHITECTURE FOR MOBILE AD HOC NETWORKS Orhan Dagdeviren / Book Paperback
common.buy 51.99 €
Control Theory Methods in Economics Jati Sengupta / Book Paperback
common.buy 160.89 €
Boundaries of Adult Learning Richard Edwards / Book Paperback
common.buy 77.69 €
Wireless Multimedia Communication Systems Bojan M. Bakmaz / Book Hardback
common.buy 403.29 €
Enabling Reflective Learning in Lifelong Career Guidance Francesco Consoli / Book Hardback
common.buy 91.49 €
Escape JEFF POVEY / Book Paperback
common.buy 9.59 €
Days We Remember / Book Hardback
common.buy 29.69 €
Oxford Reading Tree TreeTops Fiction: Level 9: Dexter's Dinosaurs Michaela Morgan / Book Paperback
common.buy 14.29 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?