 |
|
|
Item Details
| Title:
|
FORMAL METHODS FOR MULTICORE PROGRAMMING
15TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION, AND SOFTWARE SYSTEMS, SFM 2015, BERTINORO, ITALY, JUNE 15-19, 2015 : ADVANCED LECTURES |
| By: |
Marco Bernardo (Editor), Einar Broch Johnsen (Editor) |
| Format: |
Paperback |
| List price:
|
£39.99 |
| Our price: |
£33.99 |
| Discount: |
|
| You save:
|
£6.00 |
|
|
|
|
|
| ISBN 10: |
3319189409 |
| ISBN 13: |
9783319189406 |
| Availability: |
Usually dispatched within 1-3 weeks.
 Delivery
rates
|
| Stock: |
Currently 0 available |
| Publisher: |
BIRKHAUSER VERLAG AG |
| Pub. date: |
19 May, 2015 |
| Edition: |
2015 ed. |
| Series: |
Lecture Notes in Computer Science 9104 |
| Pages: |
211 |
| Synopsis: |
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems. |
| Illustrations: |
72 black & white illustrations, biography |
| Publication: |
Switzerland |
| Imprint: |
Birkhauser Verlag 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.
|
|
|
|