Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science)
Full Title: | Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science) |
---|---|
ISBN: | 1461396875 |
ISBN13: | 9781461396871 |
List Price: | USD $77.88 |
Authors: |
Luckham, David |