Search Results
Showing 1 - 10 of 10 results
Search Results
ZUM'98: The Z formal specification notation
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.73.Z2 I58 1998 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
ZUM '95, the Z formal specification notation
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.73.Z2 I58 1995 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Applications of formal methods
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.S88 A68 1996 | ✔ Available |
ZUM '97, the Z formal specification notation
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.73.Z2 I58 1997 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
