Friedrich W. von Henke – författare
Visar alla böcker från författaren Friedrich W. von Henke. Handla med fri frakt och snabb leverans.
1 produkter
ANNA A Language for Annotating Ada Programs
Reference Manual
Av David C. Luckham, Friedrich W. von Henke m. fl.
Häftad, 1987
568 kr
Lägg i varukorg
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. It is designed to meet a perceived need to augment ADA with precise machine-processable …
