Book (30 Nov 1987)
Not available for sale
Includes delivery to the United States
Out of stock
The symposium on which this book is based has become established as the focal point for the meeting of experts in the field of formal descriptions of hardware and their use in analysis and synthesis of digital systems. The papers reflect the gradual shift from the original emphasis on the uses of language design to describe hardware, toward more formal techniques for specification and verification.
| ISBN: | 9780444702357 |
| Publisher: | North-Holland |
| Imprint: | North-Holland |
| Pub date: | 30 Nov 1987 |
| DEWEY: | 621.3819583 |
| DEWEY edition: | 18 |
| Language: | English |
| Number of pages: | 405 |
| Weight: | -1g |
$1.74off
Paperback
Published 16 Feb 2002
Save $1.74
$26.10off
Hardback
Published 18 Nov 2023
Save $26.10
$6.68off
Paperback
Published 07 Mar 2023
Save $6.68
$24.35off
Paperback
Published 06 Dec 2022
Save $24.35
$19.49off
Paperback
Published 23 Feb 2022
Save $19.49
$12.14off
Paperback
Published 14 Jun 2022
Save $12.14
