 |
|
|
Item Details
| Title:
|
INTEGRATED FORMAL METHODS
PROCEEDINGS OF AN INTERNATIONAL WORKSHOP ON COMBINING STATE-BASED AND BEHAVIOURAL FORMALISMS, 28-29 JUNE 1999, YORK |
| Volume: |
1999 |
| By: |
Keijiro Araki (Editor), Andy Galloway (Editor), K. Taguchi (Editor) |
| Format: |
Paperback |
| List price:
|
£96.50 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
1852331070 |
| ISBN 13: |
9781852331078 |
| Publisher: |
SPRINGER LONDON LTD |
| Pub. date: |
25 June, 1999 |
| Edition: |
Softcover reprint of the original 1st ed. 1999 |
| Pages: |
477 |
| Description: |
This volume covers the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999. It discusses the theoretical aspects of combining behavioural and state-based formalisms and practical solutions to the industrial problems of this approach. |
| Synopsis: |
Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling of different aspects of such a system. For instance, complex systems (such as integrated avionics systems, engine control software) can involve functional and timing requirements that must be eventually implemented as executing code on a communicating distributed topology. This book contains the papers presented at the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999. The conference provided a forum for the discussion of theoretical aspects of combing behavioural and state-based formalisms and practical solutions to the industrial problems of this approach. |
| Illustrations: |
3 black & white illustrations, biography |
| Publication: |
UK |
| Imprint: |
Springer London Ltd |
| 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.
|
|
|
|