Hardware Specification Verification and Synthesis: Mathematical Aspects (Lecture Notes in Computer Science, Vol 408)
Author: M. Leeser, G. Brown, Cornell University List Price: $65.95 Our Price: Click to see the latest and low price ISBN: 0387972269 Publisher: Springer Verlag (April, 1990) Edition: Paperback