Your search returned 2 results.

Not what you expected? Check for suggestions
BOOKS
Formal Techniques in Real-Time and Fault-Tolerant Systems Proceedings, 3rd International Symposium, Lubeck, 1994

by Langmaack, H. Ed | de Roever, W.-P. Ed | Vytopil, J. Ed.

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

BOOKS
Formal Techniques in Real-Time and Fault-Tolerant Systems : Proceedings, 6th International Symposium, FTRTFT 2000, Pune,2000

by Joseph, Mathai. Ed.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha