Book (31 Jul 2001)
Not available for sale
Includes delivery to the United States
Out of stock
The ACSD proceedings include the following topics: semantic correctness testing and model checking, performance analysis, asynchronous communication modelling, action refinement in the verification framework, synthesis of Petri nets, asynchronous hardware design, and automated scheduling.
| ISBN: | 9780769510712 |
| Publisher: | IEEE Computer Society |
| Imprint: | IEEE Computer Society |
| Pub date: | 31 Jul 2001 |
| Language: | English |
| Number of pages: | 255 |
| Weight: | -1g |
| Height: | 266mm |
| Width: | 209mm |
| Spine width: | 12mm |
$21.10off
Paperback
Published 27 May 2023
Save $21.10
$4.66off
Paperback
Published 24 May 2019
Save $4.66
