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: 24027841
Kiadó Springer Nature Switzerland AG, július 2019
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s... 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

Plaster Czarownicy i inne baśnie Małgorzata Strzałkowska / Könyv Kemény kötésű
common.buy 3 618 Ft
LP! JPEGMAFIA Hanganyagok Audio bakelit
common.buy 18 622 Ft
Bleigewitter über Cinecitt? Christian Keßler / Könyv Kemény kötésű
common.buy 11 869 Ft
Hory zpívají Phan Que Mai Nguyen / Könyv Kemény kötésű
common.buy 5 649 Ft
KLIMATOLOGIE Émile H. Klouyo / Könyv Puha kötésű
common.buy 15 250 Ft
Besser hausgemacht mit dem Thermomix® Doris Muliar / Könyv Puha kötésű
common.buy 5 000 Ft
30 Jahre Nachhilfe in 60 Minuten Ulf - C. Roggendorff / Könyv Puha kötésű
common.buy 4 249 Ft
История моды. С 1850-х годов до наших дней Д.Д. Коул / Könyv Kemény kötésű
common.buy 51 980 Ft
Valorisation de soja: « tofu, farine infantile » José Tahina Ranaivotrimo / Könyv Puha kötésű
common.buy 21 475 Ft
Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce EDAE / Könyv Puha kötésű
common.buy 9 179 Ft
TEKIS GOMEZ / Könyv Kemény kötésű
common.buy 7 574 Ft
Cuento-juego. Los tres cerditos NICOLETTA CODIGNOLA / Könyv Puha kötésű
common.buy 5 867 Ft
Morče Nataša Velenská / Könyv Puha kötésű
common.buy 2 398 Ft
Weg Ins Heim Trendb Uro / Könyv Puha kötésű
common.buy 14 666 Ft
Christoph Columbus Jakob Wassermann / Könyv Puha kötésű
common.buy 6 985 Ft
Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu) Nancy Phillips / Könyv Puha kötésű
common.buy 4 323 Ft
Secme Dünya Öyküleri Jorge Luis Borges / Könyv Puha kötésű
common.buy 6 238 Ft

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

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 673
EAN 9783030255398
ISBN 3030255395
Libristo kód 24027841
Kiadó Springer Nature Switzerland AG
Súly 1050
Méretek 155 x 235 x 38

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
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 > Komputermodellálás és szimuláció
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 > Számítógépes hálózat és kommunikáció
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

Information Security Sokratis Katsikas / Könyv Puha kötésű
common.buy 29 902 Ft
Katherine Mansfield: New Directions GASSTON AIMEE / Könyv Kemény kötésű
common.buy 54 935 Ft
Marriage, Totemism and Religion: An Answer to Critics Lord Avebury / Könyv Puha kötésű
common.buy 12 134 Ft
MEE Questions Book 2 Celebration Bar Review LLC / Könyv Puha kötésű
common.buy 35 566 Ft
Advances in Growth Curve and Structural Equation Modeling Ratan Dasgupta / Könyv Kemény kötésű
common.buy 19 972 Ft
Do You Dream of Terra-Two? Temi Oh / Könyv Puha kötésű
common.buy 5 325 Ft
Feasibility Study Majura Jackson G. Majura / Könyv Puha kötésű
common.buy 14 221 Ft
Soft Computing as Transdisciplinary Science and Technology Ajith Abraham / Könyv Puha kötésű
common.buy 79 540 Ft
Group FEIGEL LARA / Könyv Puha kötésű
common.buy 4 518 Ft
3 little sisters Radha Bamania / Könyv Puha kötésű
common.buy 3 970 Ft
Toplistás
Invisible Women: Data Bias in a World Designed for Men CRIADO PEREZ CAROLINE / Könyv Puha kötésű
common.buy 6 192 Ft
Works of Ophra Behn Montague Summers / Könyv Kemény kötésű
common.buy 22 518 Ft
OLD AMERICAN SONGS II CHANT AARON COPLAND / Nyomtatványok Kotta
common.buy 1 837 Ft
The Wager and Other Stories Greg Sushinsky / Könyv Puha kötésű
common.buy 2 927 Ft
Sex Differences in Intelligence Richard Lynn / Könyv Puha kötésű
common.buy 5 779 Ft
Új
Privileged Brotherhoods Adam Howard / Könyv Kemény kötésű
common.buy 24 564 Ft
My Life Scott Ludwig / Könyv Puha kötésű
common.buy 8 766 Ft
Wolfsmund Kuji Mitsuhisa / Könyv Puha kötésű
common.buy 4 146 Ft
Radiographic Atlas of Skeletal Development of the Hand and Wrist Greulich / Könyv Kemény kötésű
common.buy 65 157 Ft
Cast of Shadows Ronnie Maasz / Könyv Kemény kötésű
common.buy 38 107 Ft
Omaha Beach Adrian R. Lewis / Könyv Puha kötésű
common.buy 17 398 Ft
Adolescent and the Cartel H G Nowland / Könyv Puha kötésű
common.buy 5 014 Ft
BioShock: Rapture John Shirley / Könyv Puha kötésű
common.buy 6 470 Ft
The Thin Black Line: True Stories by Black Law Enforcement Officers Policing America's Meanest Streets Hugh Holton / Könyv Puha kötésű
common.buy 5 881 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?