Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
Vše od
Springer Nature Switzerland AG
ISBN: 9783030549930
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal...
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.
Nepřehlédněte od Springer Nature Switzerland AG ↓
1 322 Kč
Více o produktu ↓
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019;
- Výrobce
- Springer Nature Switzerland AG
- Jazyk
- Switzerland
- Rozměry
- 235 x 155
- Rok vydání
- 2020
- Počet stran
- 523
- Obsah
- Paperback / softback
- Počet stran
- 523 pages, 98 Illustrations, color; 300 Illustrations, black and white
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Formal Methods. FM 2019 International Workshops 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!
