Your search returned 6 results.

Results
		Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS by Yoeli, Michael [] Edition: Publication details: New Jersey John Wiley & Sons 2008 Availability: Items available for loan: University Library (1)Call number: 621.3.049.77 YOE. Place hold Add to cart (remove)
		Verification of systems and circuits using LOTOS,Petri Nets, and CCS by Yoeli, Michael [] Edition: Publication details: New Jersey John Wiley & Sons 2008 Availability: No items available. Add to cart (remove)
		Program logics for certified compilers Andrew Appel W....[et.al] by Appel, Andrew W...[et.al] Dock, Robert Hobor, Aquinas Beringer, Lennart Publication details: New York Cambridge University Press 2014 Availability: Items available for loan: University Library (1)Call number: 004.42 APP. Place hold Add to cart (remove)
		Introducing software testing by Tamres, Louise Publication details: New Delhi Pearson 2007 Availability: Items available for loan: University Library (1)Call number: 004.415.53 TAM. Place hold Add to cart (remove)
		Software testing principles, techniques and tools by Limaye, M. G Publication details: New Delhi McGraw hill education 2009 Availability: Items available for loan: University Library (2)Call number: 004.415.53 LIM;1, ... Place hold Add to cart (remove)
		Trusted computing principles and applications by Feng Dengguo...[et.all] Publication details: Germany De Gruyter 2018 Availability: Items available for loan: University Library (1)Call number: 004.72.056.523 FEN/T. Place hold Add to cart (remove)

University Library, CUSAT