Bernd Krieg-Brueckner – författare
Visar alla böcker från författaren Bernd Krieg-Brueckner. 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 …
