Skip to content
Scan a barcode
Scan
Paperback Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs Book

ISBN: 1461396875

ISBN13: 9781461396871

Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs

Topics - what this book is about, - its intended audience, - what the reader ought to know, - how the book is organized, - acknowledgements. Specifications express information about a program that is not normally part of the program, and often cannot be expressed in a programming lan- guage. In the past, the word "specification" has sometimes been used to refer to somewhat vague documentation written in English. But today it indicates a precise statement,...

Recommended

Format: Paperback

Condition: New

$60.03
50 Available
Ships within 2-3 days

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured