Miriam Leeser, Geoffrey Brown

Hardware Specification, Verification and Synthesis: Mathematical Aspects - 1st ed. 1990 - Springer New York 1990 - Lecture Notes in Computer Science .

9780387348018


Computer Science