An edition of Programming with Specifications
(1990)
Programming with Specifications
An Introduction to ANNA, A Language for Specifying Ada Programs
by David Luckham
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
Jan 19, 2012, Springer
paperback
1461396867 9781461396864
|
zzzz
|
2
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
1990, Springer US
electronic resource :
in English
1461396875 9781461396871
|
aaaa
|
Book Details
Table of Contents
Contents: What ANNA Is
Simple Annotations
Using Simple Annotations
Exceptions
Package Specifications
The Process of Specifying Packages
Annotation of Generic Units
Annotation of Operations on Composite Types
Annotation of the Hidden Parts of Packages
Interpretation of Package Specifications
Processes for Consistent Implementation of Packages
Syntax
Tools
A Short Bibliography.
Edition Notes
Online full text is restricted to subscribers.
Also available in print.
Mode of access: World Wide Web.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| August 3, 2020 | Edited by ImportBot | import existing book |
| July 6, 2019 | Created by MARC Bot | import new book |