Anna a language for annotating ada programs: reference manual
Auteur :
Luckham, David
Éditeur :
Luckham, DavidHenke, Friedrich W. von,Krieg-Brueckner, Bernd,Owe, Olaf,
ISBN :
9783540179801
Date de publication :
15 juil. 1987
Dimensions :
23,3 x 15,5 x 0,8 cm
Poids :
510 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
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.