Jacques Loeckx
3 published titles
The foundations of program verification
1 edition
- ISBN: 0471912824
- Teubner
- 1987
- Details
Foundations of programming languages
1 edition
- ISBN: 0471921394
- Wiley
- 1988
- Details
Specification of abstract data types
1 edition
- ISBN: 3519021153
- Wiley
- 1996
- Details
