Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287)
Author: Thomas Kropf, G. Goos, J. Hartmanis List Price: $71.95 Our Price: Click to see the latest and low price ISBN: 3540634754 Publisher: Springer Verlag (15 January, 1997) Edition: Paperback Sales Rank: 740,499