Search Results for Hachtel, Gary D.

3 Results Found

000MAIN

Logic synthesis and verification algorithms

Hachtel, Gary D.

Author

Hachtel, Gary D., Somenzi, Fabio

Format:

Call Number

TK7874.75 H37 2006

Edition

1st ed.

Publisher

Springer,

Publication Date

2006

ISBN

9780387310046

Available:
Holds:
Copies:

Abstraction refinement for large scale model checking

Wang, Chao

Author

Wang, Chao, Hachtel, Gary D., Somenzi, Fabio

Format:

Call Number

QA76.76.V47 W36 2006

Publisher

Springer,

Publication Date

2006

ISBN

9780387341552

Available:
Holds:
Copies:

Qualitative Research and Case Study Applications in Education

Castellan, Catherine M., contributor

Author

Castellan, Catherine M., contributor, Lejla, Music, contributor, Litton, Freddie W., contributor, Rotatori, Anthony R., contributor, Coombs-Richardson, Rita, contributor

Format:

Call Number

LB1028 Q835 2017 f

ISBN

9781785695278

Available:
Holds:
Copies:

	{displayName}	{count}
{error}