Dynamic Logic. New Trends and Applications

Second International Workshop, DaLi 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Vše od Springer Nature Switzerland AG
ISBN: 9783030388072

This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019. The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods.

Více o produktu


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

1 322 Kč

1 - 2 ks
1 322 Kč
3 - 10 ks
1 309 Kč
11 a více ks
1 296 Kč

Naše cena 1 322 Kč je o 6 % nižší než
doporučená cena výrobce 1 406 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 322 Kč 1 406 Kč

Nepřehlédněte od Springer Nature Switzerland AG

Více o produktu

This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019. The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods.

Výrobce
Springer Nature Switzerland AG
Jazyk
Switzerland
Rozměry
235 x 155
Rok vydání
2020
Počet stran
227
Obsah
Paperback / softback
Počet stran
227 pages, 4 Illustrations, color; 455 Illustrations, black and white; X, 227 p. 459 illus., 4 illus

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Dynamic Logic. New Trends and Applications 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!