Search Results
Showing 11 - 20 of 98 results
Search Results
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
Software verification and testing
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:88587 | ✔ Available |
| Joyner - Microforms B300 | NAS 1.15:88587 | ✔ Available |
| Joyner - Microforms B300 | NAS 1.15:88587 | ✔ Available |
Proving operating systems correct
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.6 .K348 1982 | ✔ Available |
A computer system for checking proofs
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.6 .J65 1982 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)