Author Search Results

Select result number 1
1

IV Higher Order Workshop, Banff 1990 [electronic resource] : Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990 / IV Higher Order Workshop, Banff 1990 [electronic resource] : Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990 /

by Birtwistle, Graham. editor., SpringerLink (Online service)
Published 1991

Texto biblioteca

COLPOS

Saved in:
Select result number 2
2

VLSI Specification, Verification and Synthesis [electronic resource] / VLSI Specification, Verification and Synthesis [electronic resource] /

by Birtwistle, Graham. editor., Subrahmanyam, P. A. editor., SpringerLink (Online service)
Published 1988

Texto biblioteca

COLPOS

Saved in:
Select result number 3
3

VLSI Specification, Verification and Synthesis [electronic resource] / VLSI Specification, Verification and Synthesis [electronic resource] /

by Birtwistle, Graham. editor., Subrahmanyam, P. A. editor., SpringerLink (Online service)
Published 1988

Texto biblioteca

COLPOS

Saved in:
Select result number 4
4

Current Trends in Hardware Verification and Automated Theorem Proving [electronic resource] / Current Trends in Hardware Verification and Automated Theorem Proving [electronic resource] /

by Birtwistle, Graham. editor., Subrahmanyam, P. A. editor., SpringerLink (Online service)
Published 1989

Texto biblioteca

COLPOS

Saved in:
Select result number 5
5

Current Trends in Hardware Verification and Automated Theorem Proving [electronic resource] / Current Trends in Hardware Verification and Automated Theorem Proving [electronic resource] /

by Birtwistle, Graham. editor., Subrahmanyam, P. A. editor., SpringerLink (Online service)
Published 1989

Texto biblioteca

COLPOS

Saved in:

Resource Map