Skip to main content alibris logo

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

by

Write The First Customer Review
Programming with Specifications: An Introduction to Anna. a Language for Specifying ADA Programs - Luckham, David
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

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, written in a machine processable language, about the purpose and behavior of a ...

loading
Programming with Specifications: An Introduction to Anna. a Language for Specifying ADA Programs 1990, Springer, New York, NY

ISBN-13: 9780387972541

1990 edition Annotated

Hardcover