Programming with Specifications
Subtitle: An Introduction to ANNA, A Language for Specifying Ada Programs
Publisher: Springer
Published: Jan 19, 2012
Format: paperback
Number of pages: 440
ISBN-13: 9781461396864
Notes: Source title: Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs