Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)

New
Hardcover
1993
$143.95

This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness.

Synopsis

This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness.

$143.95

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 179
Publisher: Cambridge University Press
Published: 11 Nov 1993
ISBN 10: 052141718X
ISBN 13: 9780521417181

Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)

New

$143.95

Synopsis

$143.95

More Information