Author Search Results

Select result number 1
1

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 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

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 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:

Resource Map