Your search returned 5 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.

Place hold Log in to add tags
E-BOOKS
From Object-Orientation to Formal Methods [electronic resource] : Essays in Memory of Ole-Johan Dahl / edited by Olaf Owe, Stein Krogdahl, Tom Lyche.

by Owe, Olaf [editor.] | Krogdahl, Stein [editor.] | Lyche, Tom [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
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): .

Place hold Log in to add tags
E-BOOKS
Recent Trends in Data Type Specification [electronic resource] : 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers / edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl.

by Haveraaen, Magne [editor.] | Owe, Olaf [editor.] | Dahl, Ole-Johan [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Fundamentals of Computation Theory [electronic resource] : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings / edited by Olaf Owe, Martin Steffen, Jan Arne Telle.

by Owe, Olaf [editor.] | Steffen, Martin [editor.] | Telle, Jan Arne [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha