|
|
|
|
Logic in Computer Science : Modelling and Reasoning about Systems by Huth, Michael | Ryan, Mark. Material type:  Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; CUP ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 3 Call number: 681.3 HUTH.
|
|
|
|
|
Logic in computer science modelling and reasoning about systems by Huth, Michael | Ryan, Mark. Edition: 2Material type: Text;Language: ; Format:
print
Publication details: New York ; Cambridge University Press ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 39 Call number: 681.3.06 HUT.
|
|
|
|
|
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 / edited by Orna Grumberg, Michael Huth. by Grumberg, Orna [editor.] | Huth, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4424Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Trust and Trustworthy Computing [electronic resource] : 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings / edited by Michael Huth, N. Asokan, Srdjan Čapkun, Ivan Flechais, Lizzie Coles-Kemp. by Huth, Michael [editor.] | Asokan, N [editor.] | Čapkun, Srdjan [editor.] | Flechais, Ivan [editor.] | Coles-Kemp, Lizzie [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7904Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logic in Computer Science Modelling and Reasoning about Systems by Huth, Michael | Ryan, Mark. Edition: 2ndMaterial type: Text Publication details: New York Cambridge University Press 2005Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 3 Call number: 681.3 HUTH.
|
