Taylor's Library

Your search returned 5 results.

Not what you expected? Check for suggestions
Unhighlight Highlight
|
No cover image available
Verification of systems and circuits using LOTOS, Petri Nets, and CCS [electronic resource] / by Michael Yoeli and Rakefet Kol.

by Yoeli, Michael, 1917- | Kol, Rakefet | ebrary, Inc.

Publisher: Hoboken, N.J. : Wiley-Interscience, c2008Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: [Call number: 621.3815/48] (1).
Place hold
Verification techniques for system-level design [electronic resource] / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.

by Fujita, Masahiro, 1956- | Ghosh, Indradeep, 1970- | Prasad, Mukul | ebrary, Inc.

Publisher: Amsterdam ; Boston : Morgan Kaufmann Publishers, c2008Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: [Call number: 621.3815] (1).
Place hold
No cover image available
Verification by error modeling [electronic resource] : using testing techniques in hardware verification / written by Katarzyna Radecka, Zeljko Zilic.

by Radecka, Katarzyna | Zilic, Zeljko | ebrary, Inc.

Publisher: Boston : Kluwer Academic Publishers, 2003Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: [Call number: 621.39/5] (1).
Place hold
No cover image available
Comprehensive functional verification the complete industry cycle [electronic resource] / Bruce Wile, John C. Goss, Wolfgang Roesner.

by Wile, Bruce | Goss, John C | Roesner, W. (Wolfgang) | ebrary, Inc.

Publisher: Amsterdam ; Boston : Elsevier/Morgan Kaufmann, c2005Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for reference: Taylor's Library-TU [Call number: 621.3815/48] (1).
Practical design verification / edited by Dhiraj K. Pradhan, Ian G. Harris.

by Pradhan, Dhiraj K | Harris, Ian G.

Publisher: Cambridge : Cambridge University Press, 2009Availability: Items available for loan: Taylor's Library-TU [Call number: 621.381548 PRA 2009] (1).
Place hold