Anna Computer Program Language

3 books
Anna: A Language for Annotating Ada ProgramsDavid C. Luckham
⏱ 2h 23m

Anna: A Language for Annotating Ada Programs

David C. Luckham

1987143 pp.
Programming with specificationsDavid C. Luckham
⏱ 6h 56m

Programming with specifications

David C. Luckham

1990416 pp.
ANNA A Language for Annotating Ada ProgramsDavid C. Luckham
⏱ 2h 36m

ANNA A Language for Annotating Ada Programs

David C. Luckham

1987156 pp.