Your search returned 7 results.

Not what you expected? Check for suggestions
BOOKS
Programming Language - Ada Reference Manual

by U.S. Dept. of Defense.

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

BOOKS
Towards a Formal Description of Ada

by Bjorner, D. Ed | Oest, O N. Ed.

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

BOOKS
Ada Software Tools Interfaces Proceedings, Workshop, Bath, 1983

by Wallis, Peter J L.

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

BOOKS
Programming Language Ada Reference Manual

by U.S. Govt.Ada Jt.Prog.Office.

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

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.

BOOKS
Review of Ada Tasking

by Burns, Alan | Lister, Andrew M | Wellings, Andrew J.

Series: Lecture notes in computer science ; 00262Material 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.

BOOKS
System development and ada Proceedings, Workshop, Capri, Italy, 1986

by Habermann, A N. Ed | Montanari, U. Ed.

Series: Lecture notes in computer science ; 00275Material 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): Second floor, Rack No: 48, Shelf No: 5 Call number: 681 LNCS.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha