AI Verification
First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings
Vše od
Springer International Publishing AG
ISBN: 9783031651113
This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024. The scope of the topics was broadly categorized into two groups. The second group, artificial intelligence for formal methods, comprised:...
3 231 Kč
- 1 - 2 ks
- 3 231 Kč
- 3 - 10 ks
- 3 199 Kč
- 11 a více ks
- 3 168 Kč
Naše cena 3 231 Kč je o 6 % nižší než
doporučená cena výrobce 3 437 Kč.
Předpoklad doručení do 17. června *
* 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 International Publishing AG ↓
3 231 Kč
Více o produktu ↓
This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024. The scope of the topics was broadly categorized into two groups. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification;
- Výrobce
- Springer International Publishing AG
- Jazyk
- Switzerland
- Rozměry
- 235 x 155
- Rok vydání
- 2024
- Počet stran
- 189
- Obsah
- Paperback / softback
- Počet stran
- 189 pages, 46 Illustrations, color; 8 Illustrations, black and white
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s AI Verification 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!
