 |
Book Search |
 |
Browse Books |
2nd International Conference on Application of Concurrency System Design (Icacsd 2001)
You are here: Computing & Internet > Computer Hardware & Opera...
|
2nd International Conference on Application of Concurrency System Design (Icacsd 2001)
Paperback ISBN: 9780769510712
Availability: To order
Our Price: £100.95RRP £100.95
, Save £0.00
0 customer(s) reviewed this product
 
|
- Description
- Reviews
- Book Details
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 | 76951071 |
| ISBN13 | 9780769510712 |
| Publisher | I.E.E.E.Press |
| Format | Paperback |
| Publication date | 31/07/2001 |
| Pages | 250 |
| Weight (grammes) | 260.00 |
| Published in | United States |
| Height (mm) | 279 |
| Width (mm) | 216 |
Other books you might be interested in
|
|
Personal Computer Technical Reference for Prog Robert L. Hummel
£44.95 (list price £44.95 ) You Save £0.00 |
 |
|
|
System Files and Devices Reference Manual for
£32.95 (list price £32.95 ) You Save £0.00 |
|
|
Your Basket |
0 items.
Total £0.00
|
NEWSLETTER |
SIGN UP NOW! |
 |
|
Events |
|
Our Publications |
|
Platform |
