Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings
Format: paperback
ISBN:
9780387972268 (0387972269)
Publish date: January 24th 1990
Publisher: Springer
Pages no: 404
Edition language: English