Jørgen Staunstrup
4 published titles
Formal methods for VLSI design
(Contributor)
1 edition
- ISBN: 0444888586
- North-Holland
- 1990
- Details
Designing correct circuits
(Contributor)
1 edition
- ISBN: 0444893350
- North-Holland
- 1992
- Details
A formal approach to hardware design
1 edition
- ISBN: 0792394275
- Kluwer Academic
- 1994
- Details
Hardware/software co-design : principles and practice
(Contributor)
1 edition
- ISBN: 0792380134
- Kluwer Academic
- 1997
- Details