 |
|
|
Item Details
| Title:
|
INTEGRATED FORMAL METHODS
12TH INTERNATIONAL CONFERENCE, IFM 2016, REYKJAVIK, ICELAND, JUNE 1-5, 2016, PROCEEDINGS |
| Volume: |
2016 |
| By: |
Erika Abraham (Editor), Marieke Huisman (Editor) |
| Format: |
Paperback |
| List price:
|
£69.99 |
| Our price: |
£59.49 |
| Discount: |
|
| You save:
|
£10.50 |
|
|
|
|
|
| ISBN 10: |
3319336924 |
| ISBN 13: |
9783319336923 |
| Availability: |
Usually dispatched within 1-3 weeks.
 Delivery
rates
|
| Stock: |
Currently 0 available |
| Publisher: |
SPRINGER INTERNATIONAL PUBLISHING AG |
| Pub. date: |
24 May, 2016 |
| Series: |
Lecture Notes in Computer Science 9681 |
| Pages: |
538 |
| Synopsis: |
This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and liveness; model learning; SAT and SMT solving; testing; theorem proving and constraint satisfaction; case studies. |
| Illustrations: |
145 black & white illustrations, biography |
| Publication: |
Switzerland |
| Imprint: |
Springer International Publishing AG |
| 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.
|
|
|
|