Active filters
Displaying 2 of 2 results
Constraint-based verification / Jun Yuan, Carl Pixley, Adnan Aziz.
Text
New York, NY : Springer, c2006.
2006
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 06-677 | Item locationOffsite |
Constraint-based verification / Jun Yuan, Carl Pixley, Adnan Aziz.
Text
New York, NY : Springer, [2006], ©2006.
2006-2006
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberQ340 .Y83 2006g | Item locationOff-site |
No results found from Digital Research Books Beta
Digital books for research from multiple sources worldwide - all free to read, download, and keep. No library card required.
Explore Digital Research Books Beta