Your search returned 2 results.

Not what you expected? Check for suggestions
BOOKS
ANNA - A Language for Annotating Ada Programs Reference Manual

by Luckham, David C | von Henke, Friedrich W | Krieg-Bruckner, Bernd | Owe, Olaf.

Series: Lecture notes in computer science ; 00260Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS.

E-BOOKS
ANNA A Language for Annotating Ada Programs [electronic resource] / edited by David C. Luckham, Friedrich W. Henke, Bernd Krieg-Brückner, Olaf Owe.

by Luckham, David C [editor.] | Henke, Friedrich W [editor.] | Krieg-Brückner, Bernd [editor.] | Owe, Olaf [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 260Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha