R. T. Boute
3 published titles
Declarative systems : proceedings of the IFIP TC 10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems, Budapest, Hungary, 16-20 October, 1988
(Contributor)
1 edition
- ISBN: 0444884319
- North-Holland Co
- 1990
- Details
Theorem provers in circuit design
(Contributor)
1 edition
- ISBN: 0444896864
- North-Holland
- 1992
- Details
Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings
(Contributor)
1 edition
- ISBN: 3540236112
- Springer
- 2004
- Details
