Your search returned 15 results.

Not what you expected? Check for suggestions
BOOKS
Computer Aided Verification : Proceedings, 11th International Conference, CAV'99, Trento, 1999

by Halbwachs, Nicolas. Ed | Peled, Doron. Ed.

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

Place hold Log in to add tags
BOOKS
Model Checking

by Clarke, Edmund M | Grumberg, Orna | Peled. Doron A.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; MIT Press ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 43 Call number: 681.3 CLA.

Place hold Log in to add tags
BOOKS
Partial order methods in verification DIMACS workshop July 24-26, 1996

by Peled, Doron A. Ed | Pratt, Vaughan R. Ed | Holzmann, Gerard J. Ed.

Series: DIMACS series in discrete mathematics and theoretical computer science ; 29Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Rhode Island ; AMS ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 17 Call number: 621 PEL.

Place hold Log in to add tags
BOOKS
Software Reliability Methods : (TCS)

by Peled, Doron A.

Series: Texts in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor Rack No:50 Shelf No:20 Call number: 681.9 PEL.

Place hold Log in to add tags
BOOKS
Computer Aided Verification: 16th international conference, CAV 2004 Boston, MA, USA, July 13-17, 2004: proceedings

by Alur, Rajeev | Peled, Doron A Eds.

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

Place hold Log in to add tags
BOOKS
Time for verification Essays in memory of Amir Pnueli

by Manna, Zohar | Peled, Doron A.

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

Place hold Log in to add tags
E-BOOKS
Computer Aided Verification [electronic resource] : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings / edited by Rajeev Alur, Doron A. Peled.

by Alur, Rajeev [editor.] | Peled, Doron A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3114Source: 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
Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings / edited by Doron A. Peled, Yih-Kuen Tsay.

by Peled, Doron A [editor.] | Tsay, Yih-Kuen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3707Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Formal Techniques for Networked and Distributed Sytems — FORTE 2002 [electronic resource] : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings / edited by Doron A. Peled, Moshe Y. Vardi.

by Peled, Doron A [editor.] | Vardi, Moshe Y [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2529Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Computer Aided Verification [electronic resource] : 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings / edited by Nicolas Halbwachs, Doron Peled.

by Halbwachs, Nicolas [editor.] | Peled, Doron [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1633Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck.

by Logozzo, Francesco [editor.] | Peled, Doron A [editor.] | Zuck, Lenore D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4905Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Model Checking and Artificial Intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers / edited by Doron A. Peled, Michael J. Wooldridge.

by Peled, Doron A [editor.] | Wooldridge, Michael J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5348Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Runtime Verification [electronic resource] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers / edited by Saddek Bensalem, Doron A. Peled.

by Bensalem, Saddek [editor.] | Peled, Doron A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5779Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Time for Verification [electronic resource] : Essays in Memory of Amir Pnueli / edited by Zohar Manna, Doron A. Peled.

by Manna, Zohar [editor.] | Peled, Doron A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6200Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Automated Technology for Verification and Analysis [electronic resource] : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / edited by Cyrille Artho, Axel Legay, Doron Peled.

by Artho, Cyrille [editor.] | Legay, Axel [editor.] | Peled, Doron [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9938 | Lecture Notes in Computer Science ; 9938Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online 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