Search Results
Showing 1 - 9 of 9 results
Search Results
Formal foundations for software engineering methods
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.758 .H87 1997 | ✔ Available |
Nondeterminism in algebraic specification and algebraic programs
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.M35 H87 1993 | ✔ Available |