 |
|
|
Item Details
| Title:
|
TAXONOMIES FOR THE DEVELOPMENT AND VERIFICATION OF DIGITAL SYSTEMS
|
| By: |
Brian Bailey (Editor), Grant Martin (Editor), Thomas Anderson (Editor) |
| Format: |
Hardback |
| List price:
|
£99.99 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
0387240195 |
| ISBN 13: |
9780387240190 |
| Publisher: |
SPRINGER-VERLAG NEW YORK INC. |
| Pub. date: |
12 April, 2005 |
| Edition: |
2005 ed. |
| Pages: |
180 |
| Description: |
Includes set of definitions for the terms and models used in the creation, refinement, and verification of complex systems from the conceptual level down to its implementation. |
| Synopsis: |
Thorough set of definitions for the terms and models used in the creation, refinement, and verification of complex systems from the conceptual level down to its implementationConsidering both the hardware and software components of the systemAlso covers the emerging area of platform-based designProvides both knowledge of models and terms, and understanding of these models and how they are used. |
| Illustrations: |
XX, 180 p. |
| Publication: |
US |
| Imprint: |
Springer-Verlag New York Inc. |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
No Cheese, Please!
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
|
My Brother Is a Superhero
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
|
|
|
|
|