FEEDBACK Smiley face

Your search returned 2 results. Subscribe to this search

|
1. Principles of model checking

by Baier, Christel | Katoen, Joost-Pieter.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, : MIT Press, ©2008Online access: Table of contents only Availability:
Items available for reference: IIITD [REF 004.24 BAI-P] (1).

2. Software abstractions : logic, language and analysis

by Jackson, Daniel.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, Mass. : MIT Press, c2006Availability: Items available for loan: IIITD [005.1 JAC-S] (1).


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in