A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
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ó
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 Ft
phone Kapcsolat phoneHogyan vásároljunk
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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Computer Aided Verification Isil Dillig
Libristo kód: 24027842
Kiadó Springer Nature Switzerland AG, július 2019
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st... Teljes leírás
? points 136 b
19 972 Ft
Beszállítói készleten Küldés 5-8 napon belül

30 nap a termék visszaküldésére

A vásárlók ilyet vásároltak

Automotives Googiedesign / Gestern - Heute - Morgen Steinmetz / Könyv Puha kötésű
common.buy 10 176 Ft
Il Fratellino Di Celeste Marisa Bragato / Könyv Puha kötésű
common.buy 3 706 Ft

The 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 togeth

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
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ő Isil Dillig, Serdar Tasiran
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2019
Oldalszám 549
EAN 9783030255428
ISBN 3030255425
Libristo kód 24027842
Kiadó Springer Nature Switzerland AG
Súly 866
Méretek 155 x 235 x 31

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
Számítástechnika és információtechnológia > Számítógéptudomány > Rendszeranalízis és rendszerdizájn
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Számítástechnika és információtechnológia > Információtechnológia: általános jellegű
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ére

Ezt is ajánljuk

Hamarosan
Unauthorised Harry Potter Companion Colin Duriez / Könyv Puha kötésű
common.buy 5 297 Ft
Upper Columbia Basin Network Science Communication Plan, Version 1.0: Natural Resource Report NPS/UCBN/NRR?2009/140 Jannis L Jocius / Könyv Puha kötésű
common.buy 5 617 Ft
Fifty Shades of Crimson Tomsett / Könyv Puha kötésű
common.buy 9 077 Ft
IN The Beginning Was Marriage Owen Chiwawa / Könyv Puha kötésű
common.buy 5 366 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?