Join Books.org — it's free
Home > Books > Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs

Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs by David Luckham — book cover

Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs

by David Luckham
Write a review
Log in to track your reading progress.

Other editions of Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs by David Luckham

Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
Publisher Springer-Verlag New York, LLC
Published 1/5/2012
Format Paperback · 432 pages
ISBN 9781461396871