Current Trends in Hardware Verification and Automated Theorem Proving

Birtwistle, G.

Springer Verlag, 1989. Hard Cover. Near Fine / Glossy Cover. Item #30291
ISBN: 0387969888

Price: $22.50

Add to Cart Inquire

See all items in Engineering

See all items by G. Birtwistle