Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt.
Ingyenes regisztráció
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft
DPD futárszolgálat 1 190 Ft
GLS pont 1 190 Ft
Magyar Posta 1 795 Ft
PostaPont / Csomagautomata 1 690 Ft
Magyar Posta 1 690 Ft
FoxPost 1 190 Ft
Packeta 1 190 Ft
GLS futár 1 690 Ft
Kapcsolat
Hogyan vásároljunk
Segítség
Kézbesítés
DPD gyűjtőpont 990 Ft
DPD futárszolgálat 1 190 Ft
GLS pont 1 190 Ft
Magyar Posta 1 795 Ft
PostaPont / Csomagautomata 1 690 Ft
Magyar Posta 1 690 Ft
FoxPost 1 190 Ft
Packeta 1 190 Ft
GLS futár 1 690 Ft
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
Vásárlási tanácsadó
Segíthetünk?
+36 9 6998 040
Saját fiók
▸
Üres :-(
0
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Nyelv
Angol
Angol
E-könyv
Adobe ePub DRM
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33r...
Teljes leírás
Libristo kód: 41014597
?
11 b
11 b
1 619
Ft
Raktáron
Azonnal letölthető
A vásárlók ilyet vásároltak
/
Puha kötésű
4 757
Ft
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
Színésznő
&
Poliglott
EWA KASP
részére
A videó lejátszása
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.
Információ a könyvről
Teljes megnevezés
Computer Aided Verification
Szerző
Alexandra Silva, K. Rustan M. Leino
Nyelv
Angol
Angol
Kötés
E-könyv - Adobe ePub DRM
Kiadás éve
2021
EAN
9783030816889
Libristo kód
41014597
Kiadó
Springer
Kategória
Számítástechnika és információtechnológia
>
Számítógépes programozás / szoftvermérnöki tudomány
>
Szoftvermérnöki tudomány
Számítástechnika és információtechnológia
>
Számítógéptudomány
>
Számítógéptudomány matematikai elmélete
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címéreEzt is ajánljuk
Libroamiko könyvtanácsadó
A chat használatával generatív mesterséges intelligenciával kommunikálsz. A használatával beleegyezel a személyes adatok kezelésébe is.
Szia! Libroamiko vagyok, a könyvtanácsadód.
Miben segíthetek?
Szia, Libroamiko vagyok, segíthetek?