Your search returned 2 results.

Results
	1.	The calculus of computation : decision procedures with applications to verification by Bradley, Aaron R Manna, Zohar Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2007 Availability: Items available for loan: IIITD (2)Call number: 004.015 BRA-C, ... Items available for reference: IIITD: Not for loan (1)Call number: 004.015 BRA-C. Place hold Add to cart (remove)
	2.	Introduction to digital systems design by Donzellini, Giuliano Anguita, Davide Oneto, Luca Ponta, Domenico Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Switzerland : Springer, ©2019 Availability: Items available for loan: IIITD (1)Call number: 621.3 DON-I. Place hold Add to cart (remove)

Refine your search