Specification of Software - V.S. Alagar - Books - Springer - 9780387984308 - September 28, 1998
In case cover and title do not match, the title is correct

V.S. Alagar
Specification of Software 1st edition

Get an email once the item is available
Do you have a profile? Log in

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, and the main formal methods.

Media Books     Book
Released September 28, 1998
ISBN13 9780387984308
Publishers Springer
Pages 442
Dimensions 182 × 27 × 237 mm   ·   907 g
Language English   French  

More by V.S. Alagar

Show all

More from this series

See all of V.S. Alagar ( e.g. Book and Hardcover Book )