David A. Fura

No bio available. Add one in Open Library.

Books by David A. Fura (50 max)

+ shelf+ list

Towards the formal verification of the requirements and design of a processor interface unit: HOL listings

1993

David A. Fura

+ shelf+ list

Towards the formal specification of the requirements and design of a processor interface unit

1993

David A. Fura

+ shelf+ list

Tutorial--gallium arsenide computer design

1988

Veljko Milutinović, David A. Fura

+ shelf+ list

Formal design specification of a processor interface unit

1992

David A. Fura

+ shelf+ list

Interpreter composition issues in the formal verification of a processor-memory module

1994

David A. Fura