FEEDBACK Smiley face

Your search returned 2 results. Subscribe to this search

1. Logic in computer science : modelling and reasoning about systems

by Huth, Michael | Ryan, Mark.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Cambridge University Press, ©2004Availability: Items available for loan: IIITD [005.101 HUT-L] (2).
Items available for reference: IIITD [REF 005.101 HUT-L] (1).

2. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings /

by Grumberg, Orna [editor.] | Huth, Michael [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: No items available

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: