J. Staunstrup

Born: 1952

No bio available. Add one in Open Library.

Born: 1952

Books by J. Staunstrup (50 max)

+ shelf+ list

Formal methods for VLSI design

1990

J. Staunstrup

+ shelf+ list

Hardware/Software Co-Design: Principles and Practice

1997

J. Staunstrup, Wayne Hendrix Wolf, Jørgen Staunstrup, Wayne Wolf

+ shelf+ list

Program specification: proceedings of a workshop, Aarhus, Denmark, August 1981

1982

J. Staunstrup

+ shelf+ list

Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981 (Lecture Notes in Computer Science)

1982

J. Staunstrup

+ shelf+ list

Formal methods for VLSI design: IFIP WG 10.5 lecture notes

1990

J. Staunstrup

+ shelf+ list

Self-timed design: 30.11.-04.12.92 (9249)

1993

F. J. Rammig, J. Staunstrup

+ shelf+ list

A formal approach to hardware design

1994

J. Staunstrup