Anna: A Language for Annotating Ada Programs : A Reference Manual (Lecture Notes in Computer Science) - Softcover

 
9780387179803: Anna: A Language for Annotating Ada Programs : A Reference Manual (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387179801 ISBN 13: 9780387179803
Publisher: Springer Verlag, 1987

Synopsis

ANNA A Language for Annotating Ada Programs This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs. Full description

"synopsis" may belong to another edition of this title.

Publisher
Springer Verlag
Publication date
1987
Language
English
ISBN 10 
0387179801
ISBN 13 
9780387179803
Binding
Paperback

Other Popular Editions of the Same Title

9783540179801: ANNA A Language for Annotating Ada Programs: Reference Manual: 260 (Lecture Notes in Computer Science, 260)

Featured Edition

ISBN 10:  3540179801 ISBN 13:  9783540179801
Publisher: Springer, 1987
Softcover