Richard Waldinger
3 published titles
Studies in automatic programming logic
(Contributor)
1 edition
- ISBN: 0444002243
- North-Holland Publishing Co.
- 1977
- Details
The logical basis for computer programming
(Contributor)
2 editions
- ISBN: 0201182602
- Addison-Wesley
- 1985
- Details
- ISBN: 0201182610
- Addison-Wesley
- 1990
- Details
The deductive foundations of computer programming
(Contributor)
1 edition
- ISBN: 0201548860
- Addison-Wesley
- 1993
- Details