G. A. Rose
3 published titles
Formal description techniques IV : proceedings of the IFIP TC6/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, S
(Contributor)
1 edition
- ISBN: 0444894020
- North-Holland
- 1992
- Details
Formal object-oriented specification using Object-Z
(Contributor)
1 edition
- ISBN: 0333801237
- Macmillan
- 2000
- Details
MCSE Windows 2000 accelerated exam for dummies
1 edition
- ISBN: 0764508482
- Hungry Minds
- 2001
- Details
