Roel J. Wieringa
3 published titles
Deontic logic in computer science : normative system specification
(Contributor)
1 edition
- ISBN: 0471937436
- Wiley
- 1993
- Details
Requirements engineering : frameworks for understanding
1 edition
- ISBN: 0471958840
- Wiley
- 1996
- Details
Design methods for reactive systems : Yourdan, Statemate and the UML
1 edition
- ISBN: 1558607552
- Morgan Kaufmann
- 2003
- Details
