Search Results
Showing 1 - 10 of 14 results
Search Results
Formal methods for the design of real-time systems
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.54 .I575 2004 | ✔ Available |
Transformation-based reactive systems development
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.54 .I54 1997 | ✔ Available |