An algebraic approach to hardware description and verification

Author(s)

• Cardelli, Luca

Bibliographic Information

An algebraic approach to hardware description and verification

by Luca Cardelli

University of Edinburgh, Department of Computer Science, 1982

Note

Author's thesis (Ph.D.)--University of Edinbungh, 1982

CST-16-82

Details

• NCID: BC06964901
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Edinburgh
• Pages/Volumes: 253 p.
• Size: 21 cm