Filter
Sökt på: Sökresultat
Filter
1 träff
ANNA A Language for Annotating Ada Programs
häftad,
1987,
Engelska,
ISBN 9783540179801
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 …