Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Computer Aided Verification
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s...
Celý popis
Libristo kód: 24027841
?
168 b
168 b
1 676
Kč
včetně DPH
Skladem u dodavatele v malém množství
Odesíláme za 13-16 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
/
Brožovaná
301
Kč
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented toget
Informace o knize
Plný název
Computer Aided Verification
Autor
Isil Dillig, Serdar Tasiran
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2019
Počet stran
673
EAN
9783030255398
ISBN
3030255395
Libristo kód
24027841
Nakladatelství
Springer Nature Switzerland AG
Váha
1050
Rozměry
155 x 235 x 38
