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, 2

Vše od Springer International Publishing AG
ISBN: 9783319189406

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.

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

1 175 Kč

1 - 2 ks
1 175 Kč
3 - 10 ks
1 163 Kč
11 a více ks
1 152 Kč

Naše cena 1 175 Kč je o 6 % nižší než
doporučená cena výrobce 1 250 Kč.

Předpoklad doručení do 27. května *

* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.

1 175 Kč 1 250 Kč

Nepřehlédněte od Springer International Publishing AG

Více o produktu

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.

Výrobce
Springer International Publishing AG
Jazyk
Switzerland
Rozměry
235 x 155
Rok vydání
2015
Počet stran
211
Obsah
Paperback / softback
Počet stran
211 pages, 72 Illustrations, black and white

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Formal Methods for Multicore Programming a pomůžete tak ostatním zákazníkům při výběru.

Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!