 |
|
|
Item Details
| Title:
|
LANGUAGES AND TOOLS FOR HYBRID SYSTEMS DESIGN
|
| By: |
Luca P. Carloni, Roberto Passerone, Alessandro Pinto |
| Format: |
Paperback |
| List price:
|
£99.95 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
193301928X |
| ISBN 13: |
9781933019284 |
| Publisher: |
NOW PUBLISHERS INC |
| Pub. date: |
1 June, 2006 |
| Series: |
Foundations and Trends in Electronic Design Automation 1 |
| Pages: |
208 |
| Description: |
Presents a survey of languages and tools for the design and verification of hybrid systems. This book reviews and compares hybrid system tools by highlighting their differences in terms of their underlying semantics, expressive power and mathematical mechanisms. It suggests the need for a unifying approach to hybrid systems design. |
| Synopsis: |
"Languages and Tools for Hybrid Systems Design" is a survey of languages and tools for the design and verification of hybrid systems. The book reviews and compares hybrid system tools by highlighting their differences in terms of their underlying semantics, expressive power and mathematical mechanisms. The review concludes with a comparative summary, which suggests the need for a unifying approach to hybrid systems design. As a step in this direction, the case is made for a semantic-aware interchange format, which would enable the use of joint techniques, make a formal comparison between different approaches possible, and facilitate exporting and importing design representations. "Languages and Tools for Hybrid Systems Design" is also intended to equip researchers, application developers and managers with key references and resource material for the successful development of hybrid systems. |
| Illustrations: |
1, black & white illustrations |
| Publication: |
US |
| Imprint: |
now publishers Inc |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|