Hardware Specification, Verification and Synthesis: Mathematical Aspects
Subtitle: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, ... (Lecture Notes in Computer Science)
Contributors: Miriam Leeser (Editor); Geoffrey Brown (Editor)
Publisher: Springer
Published: February 14, 1990
Language: eng
Number of pages: 402
ISBN-13: 9780387972268