Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs

— No status — Want to Read Currently Reading Have Read Did Not Finish Favorite Available on Bookshop Share 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.