Your search returned 4 results.

Not what you expected? Check for suggestions
BOOKS
Verification of sequential and concurrent programs

by Apt, Krzysztof R | Olderog, Ernst-Rudiger.

Series: Texts and Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 32 Call number: 681.3.06 APT.

Place hold Log in to add tags
BOOKS
Temporal Verification of Reactive Systems Safety

by Manna, Zohar | Pnueli, Amir.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 10 Call number: 681.3 MAN.

Place hold Log in to add tags
BOOKS
Theoretical and practical aspects of SPIN model checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings

by Dams, Dennis | Gerth, Rob | Leue, Stefan Eds.

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

Place hold Log in to add tags
BOOKS
Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem

by Godefroid, Patrice.

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

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

Powered by Koha