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
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 130 b
19 179 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Hliadky! Hliadky! Martin Hatala / Book Hardback
common.buy 4 207 Ft
Torba na ramię Dollars / Stationery items Stationery items
common.buy 5 311 Ft
FAIRY TAIL ICE TRAIL YUSUKE SHIRATO HIRO MASHIMA / Book Hardback
common.buy 6 531 Ft
Corno Franc Javier Marco / Book Paperback
common.buy 4 323 Ft
Traite de Physiologie Comparee de l'Homme Et Des Animaux. Tome 3 Duges-A / Book Paperback
common.buy 12 676 Ft
Pridite ko Mne vse truzhdajushhiesya i obremenennye igumen Martirij (Bagin) / Book Paperback
common.buy 9 708 Ft
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 17 430 Ft

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

Palgrave Handbook of the Philosophy of Aging Geoffrey Scarre / Book Hardback
common.buy 107 810 Ft
Brig Society: The Complete Series 1-4 Marcus Brigstocke / Audiobook MP3
common.buy 4 091 Ft
Some Things Smell Funny! | Sense & Sensation Books for Kids Baby Professor / E-book Adobe ePub DRM
common.buy 1 178 Ft
Perfectly Imperfect Darlene P. Winston / Book Paperback
common.buy 6 340 Ft
Warfare and Culture in World History, Second Edition Wayne E. Lee / Book Hardback
common.buy 40 890 Ft
Life and Literature. Selected and Edited With an Introd. by John Erskine John Erskine / Book Hardback
common.buy 14 680 Ft
Top
Super Mario: Bring on the Bad Guys! (Nintendo) Courtney Carbone / Book Paperback
common.buy 3 293 Ft
Elan Meets Rafa Volume 13: Boy Love Story The Mice / Book Paperback
common.buy 7 458 Ft
The Polish Defense: Systems for Black Based on ...B5 Marek Soszynski / Book Paperback
common.buy 7 602 Ft
A Shadow in Moscow: A Cold War Novel Reay / Book Paperback
common.buy 6 002 Ft
European Employment Law CLAIRE-MICHEL SMYTH / Book Paperback
common.buy 6 753 Ft
Out of Touch Drouin / Book Paperback
common.buy 5 988 Ft
Top
Race Car-Red Green Toys / Game/Toy Toy
common.buy 3 502 Ft
Architectures of Festival in Early Modern Europe Professor J. R. Mulryne / Book Hardback
common.buy 80 834 Ft
Minecraft for Makers John Baichtal / Book Paperback
common.buy 6 178 Ft
Whisperwicks: The Labyrinth of Lost and Found Jordan Lees / Book Hardback
common.buy 6 090 Ft
English Nouns LIEBER ROCHELLE / Book Paperback
common.buy 24 443 Ft
Nanostructured Magnetic Materials Sathish-Kumar Kamaraj / E-book Adobe ePub DRM
common.buy 25 872 Ft
Looking for Alaska Deluxe Edition John Green / Book Hardback
common.buy 6 767 Ft
How Dark The World Becomes Frank Chadwick / Book Paperback
common.buy 3 428 Ft
Matter of Grace Marion Collier / Book Hardback
common.buy 14 309 Ft
Father Laval; Or The Jesuit Missionary: A Tale Of The North American Indians (1860) James McSherry / Book Paperback
common.buy 9 606 Ft
You'll Have Had Your Hole Irvine Welsh / Book Paperback
common.buy 6 735 Ft
Interaction Design for 3D User Interfaces Ortega / Book Hardback
common.buy 49 550 Ft

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?