Shopping Cart Shopping Cart 0 items
info@oldcomputerbooks.com
Item Details
Programming with Specifications -- an introduction to Anna, a language for specifying ADA programs. David Luckham.

Programming with Specifications -- an introduction to Anna, a language for specifying ADA programs.

Springer-Verlag, text and monographs in computer science series; 1990, 416 pages, includes bibliography.
Condition: Good to very good overall, silver hardcover titles in red on spine and cover, some bumps and wear to edges and corners, pages clean and binding is sound.
Price: $10.00
Item no. R268
Item Description
Specifications express information about a program that is not normally part of the program, and often cannot be expressed in a programming language. This book describes how to write specifications in Anna, and how to use specifications in the process of building programs, debugging them, and interfacing them with other programs (from the rear cover).