A Theory and Practice of Program Development Image close
A Theory and Practice of Program Development by Derek J. Andrews
A Theory and Practice of Program Development by Derek J. Andrews
Show Hide Adult Content
A Theory and Practice of Program Development close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming

A Theory and Practice of Program Development

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$138.99
RRP:
$180.95 save $41.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 27 Jun - 9 Jul using International Courier

Explore more Formal Approaches to Computing and Information Technology (FACIT)

See all products in this series

Proof in VDM: A Practitioner’s Guide by Brian Ritchie Save $33
$138.99
$172.95
Proof in VDM: A Practitioner’s Guide
by Brian Ritchie ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Software Specification Methods Save $18
$261.99
$280.95
Software Specification Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Systems, Models and Measures by Agnes Kaposi Save $42
$138.99
$181.95
Systems, Models and Measures
by Agnes Kaposi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
High-Integrity System Specification and Design by Jonathan P. Bowen Save $39
$147.99
$187.95
High-Integrity System Specification and Design
by Jonathan P. Bowen ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Industrial-Strength Formal Methods in Practice
$401.99
Industrial-Strength Formal Methods in Practice
Paperback / softback
Available - Usually ships in 3-4 weeks
Specification Case Studies in RAISE Save $40
$264.99
$305.95
Specification Case Studies in RAISE
Paperback / softback
Available - Usually ships in 3-4 weeks
Proof in VDM: Case Studies
$260.99
Proof in VDM: Case Studies
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods and Object Technology Save $16
$263.99
$280.95
Formal Methods and Object Technology
Paperback / softback
Available - Usually ships in 3-4 weeks
The B Language and Method by Kevin Lano Save $45
$134.99
$180.95
The B Language and Method
by Kevin Lano ~ Paperback / softback
Available - Usually ships in 3-4 weeks
On the Refinement Calculus Save $52
$134.99
$187.95
On the Refinement Calculus
Paperback / softback
Available - Usually ships in 3-4 weeks
Program Development by Refinement Save $24
$514.99
$539.95
Program Development by Refinement
Paperback / softback
Available - Usually ships in 3-4 weeks
Notations for Software Design by Hans B.M. Jonkers Save $41
$138.99
$180.95
Notations for Software Design
by Hans B.M. Jonkers ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Object-Oriented Development by Kevin Lano Save $47
$139.99
$187.95
Formal Object-Oriented Development
by Kevin Lano ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods in Human-Computer Interaction Save $42
$137.99
$180.95
Formal Methods in Human-Computer Interaction
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
July 4th, 1997
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Illustrations
2 Illustrations, black and white; XVII, 405 p. 2 illus.
Pages
405
Dimensions
156x234x21
ISBN-13
9783540761624
Product ID
13188212

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Databases