Your search returned 2 results.

Results
	1.	Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. by Huth, Michael, 1962- Ryan, Mark, 1962- Publication details: Cambridge, [England] : Cambridge University Press, 2000 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.L63H88. Place hold
	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 / Orna Grumberg, Michael Huth (eds.). by TACAS 2007 (2007 : Braga, Portugal) Grumberg, Orna Huth, Michael, 1962- SpringerLink (Online service) ETAPS 2007 (2007 : Braga, Portugal) Series: Lecture notes in computer science ; 4424 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: European Joint Conferences on Theory and Practice of Software 2007 TACAS 2007 Joint European Conferences on Theory and Practice of Software ETAPS 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.

Refine your search