Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

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

Language EnglishEnglish
Book Paperback
Book Formal Methods for Multicore Programming Marco Bernardo
Libristo code: 09272022
Publishers Springer International Publishing AG, May 2015
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the Inter... Full description
? points 120 b
49.63 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Dict. de Jurisprudence Et Des Arrets, Ou Nouvelle Edition Du Dict. de Brillon. T. 5 (Ed.1781-1788) Pierre-Jacques Brillon / Book Paperback
common.buy 45.68 €
Hliadky! Hliadky! Martin Hatala / Book Hardback
common.buy 11.84 €
Wine revolution. Guida ai migliori vini organici, biodinamici e naturali Jane Anson / Book Hardback
common.buy 35.55 €
Pridite ko Mne vse truzhdajushhiesya i obremenennye igumen Martirij (Bagin) / Book Paperback
common.buy 24.91 €
Torba na ramię Dollars / Stationery items Stationery items
common.buy 14.88 €
FAIRY TAIL ICE TRAIL YUSUKE SHIRATO HIRO MASHIMA / Book Hardback
common.buy 16.40 €
Corno Franc Javier Marco / Book Paperback
common.buy 11.23 €
Traite de Physiologie Comparee de l'Homme Et Des Animaux. Tome 3 Duges-A / Book Paperback
common.buy 32.10 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods for Multicore Programming
Author Marco Bernardo, Einar Broch Johnsen
Language English
Binding Book - Paperback
Date of issue 2015
Number of pages 211
EAN 9783319189406
ISBN 3319189409
Libristo code 09272022
Publishers Springer International Publishing AG
Weight 3401
Dimensions 155 x 235 x 12

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Business applications > Mathematical & statistical software
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Stochastic Processes - Inference Theory Malempati M. Rao / Book Paperback
common.buy 103.12 €
Warfare and Culture in World History, Second Edition Wayne E. Lee / Book Hardback
common.buy 107.98 €
Minecraft for Makers John Baichtal / Book Paperback
common.buy 15.79 €
Architectures of Festival in Early Modern Europe Professor J. R. Mulryne / Book Hardback
common.buy 240.08 €
Miss Jacobson's Journey Carola Dunn / Book Paperback
common.buy 26.02 €
Basic Christian Beliefs: Revised Edition David L Smith / Book Paperback
common.buy 14.88 €
European Employment Law CLAIRE-MICHEL SMYTH / Book Paperback
common.buy 17.31 €
Elan Meets Rafa Volume 13: Boy Love Story The Mice / Book Paperback
common.buy 19.34 €
Top
Super Mario: Bring on the Bad Guys! (Nintendo) Courtney Carbone / Book Paperback
common.buy 8.40 €
Life and Literature. Selected and Edited With an Introd. by John Erskine John Erskine / Book Hardback
common.buy 38.28 €
Race Car-Red Green Toys / Game/Toy Toy
common.buy 8.90 €
Perfectly Imperfect Darlene P. Winston / Book Paperback
common.buy 16.30 €
Brig Society: The Complete Series 1-4 Marcus Brigstocke / Audiobook MP3
common.buy 11.64 €
Some Things Smell Funny! | Sense & Sensation Books for Kids Baby Professor / E-book Adobe ePub DRM
common.buy 3.33 €
The Polish Defense: Systems for Black Based on ...B5 Marek Soszynski / Book Paperback
common.buy 22.88 €
A Shadow in Moscow: A Cold War Novel Reay / Book Paperback
common.buy 16.30 €
Out of Touch Drouin / Book Paperback
common.buy 16.20 €
Whisperwicks: The Labyrinth of Lost and Found Jordan Lees / Book Hardback
common.buy 22.38 €
Nanostructured Magnetic Materials Sathish-Kumar Kamaraj / E-book Adobe ePub DRM
common.buy 77.89 €
Functional pregnancy problems and osteopathy 2 Sigrid Steinbauer / Book Paperback
common.buy 39.30 €
LITTLE PURPLE BOOK OF I AMS - Changing Negative Attitudes In 10 Days! Lawander Harris / Book Paperback
common.buy 10.22 €
Matter of Grace Marion Collier / Book Hardback
common.buy 37.37 €
Father Laval; Or The Jesuit Missionary: A Tale Of The North American Indians (1860) James McSherry / Book Paperback
common.buy 25.11 €
You'll Have Had Your Hole Irvine Welsh / Book Paperback
common.buy 17.52 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?