Search Results
Showing 1 - 6 of 6 results
Search Results
Computer aided verification
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.76.V47 C38 2003 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Formal methods in computer-aided design
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | TK7885.A1 F59 2000 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
FM8501, a verified microprocessor
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA73.8.F6 H86 1994 | ✔ Available |