Programming Languages
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
David Luckham
Available on Bookshop
Write a review
Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.
Log in to track your reading progress.
Book Details
Published
January 5, 2012
Publisher
Springer-Verlag New York, LLC
Pages
432
Format
Paperback
ISBN
9781461396871