Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs - Monographs in Computer Science - David Luckham - Books - Springer-Verlag New York Inc. - 9781461396871 - January 5, 2012
In case cover and title do not match, the title is correct

David Luckham
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs - Monographs in Computer Science Softcover reprint of the original 1st ed. 1990 edition

Price
S$ 71.50
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 16 - 26

Our customers say:

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

Topics * what this book is about, * its intended audience, * what the reader ought to know, * how the book is organized, * acknowledgements. The use of specifications as an integral part of a program opens up a whole new area of programming - progmmming with specifications.

416 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 5, 2012
ISBN13 9781461396871
Publishers Springer-Verlag New York Inc.
Pages 416
Dimensions 155 × 235 × 22 mm   ·   612 g
Language English  

More by David Luckham

Show all

Mere med samme udgiver

See all of David Luckham ( e.g. Paperback Book )