Check order status

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

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Methods for Multicore Programming

Name: Formal Methods for Multicore Programming
Brand: Springer International Publishing AG
SKU: 09272022
Price: 49.57 EUR
Availability: InStock
Author: Marco Bernardo
ISBN: 9783319189406

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

Marco Bernardo

Einar Broch Johnsen

Language

English

Book Paperback

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

Libristo code: 09272022

120 b

49.57 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Hliadky! Hliadky! Martin Hatala

Hardback

11.83 €

FAIRY TAIL ICE TRAIL YUSUKE SHIRATO HIRO MASHIMA

Hardback

18.30 €

Corno Franc Javier Marco

Paperback

11.22 €

Traite de Physiologie Comparee de l'Homme Et Des Animaux. Tome 3 Duges-A

Paperback

33.18 €

Pridite ko Mne vse truzhdajushhiesya i obremenennye igumen Martirij (Bagin)

Paperback

24.88 €

Dict. de Jurisprudence Et Des Arrets, Ou Nouvelle Edition Du Dict. de Brillon. T. 5 (Ed.1781-1788) Pierre-Jacques Brillon

Paperback

48.96 €

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.