PKK Library catalog › Results of search for 'au:"Zilic, Zeljko"'

	1.	Generating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring by Boule, Marc \| Zilic, Zeljko. Material type: Book; Format: print ; Literary form: not fiction Description: xx, 279p.Publisher: U.K. Springer Science+Business Media 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3815 B664g] (1). Place hold Add to cart (remove)
	2.	Verification by error modeling : using testing techniques in hardware verification by Radecka, Katarzyna \| Zilic, Zeljko. Material type: Book; Format: print ; Literary form: not fiction Description: xiv, 216p.Publisher: Boston Kluwer Academic Publishers 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 R117v] (1). Place hold Add to cart (remove)
	3.	Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring / : [electronic resource] : by Boulé, Marc [author.] \| Zilic, Zeljko [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XX, 280 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)

PKK Library