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.
Categories: 1980's computers and computing, Computer Science, Programming and Programming Languages, Ada, Technical Journals, Proceedings, Conferences, Miscellaneous
See all items by David Luckham