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

Place hold Log in to add tags
BOOKS
VDM '90 - VDM and Z-Formal Methods in Software Development Proceedings, 3rd International Symp. Kiel, FRG, 1990

by Bjorner, D. Ed | Hoare, C A R. Ed | Langmaack, H. Ed.

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

Place hold Log in to add tags
E-BOOKS
VDM '90 VDM and Z — Formal Methods in Software Development [electronic resource] : Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings / edited by D. Bjørner, C. A. R. Hoare, H. Langmaack.

by Bjørner, D [editor.] | Hoare, C. A. R [editor.] | Langmaack, H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 428Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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