Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Computer Aided Verification

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Isil Dillig
Libristo kód: 24027841
Nakladateľstvo Springer Nature Switzerland AG, júl 2019
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s... Celý popis
? points 125 b
51.75 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Plaster Czarownicy i inne baśnie Małgorzata Strzałkowska / Kniha Pevná
common.buy 10.12 €
LP! JPEGMAFIA Audio Audio vinyl
common.buy 50.02 €
Bleigewitter über Cinecitt? Christian Keßler / Kniha Pevná
common.buy 30.37 €
Hory zpívají Phan Que Mai Nguyen / Kniha Pevná
common.buy 14.27 €
KLIMATOLOGIE Émile H. Klouyo / Kniha Brožovaná
common.buy 39.29 €
Besser hausgemacht mit dem Thermomix® Doris Muliar / Kniha Brožovaná
common.buy 12.75 €
30 Jahre Nachhilfe in 60 Minuten Ulf - C. Roggendorff / Kniha Brožovaná
common.buy 10.93 €
Valorisation de soja: « tofu, farine infantile » José Tahina Ranaivotrimo / Kniha Brožovaná
common.buy 55.19 €
Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce EDAE / Kniha Brožovaná
common.buy 25.82 €
TEKIS GOMEZ / Kniha Pevná
common.buy 21.26 €
Cuento-juego. Los tres cerditos NICOLETTA CODIGNOLA / Kniha Brožovaná
common.buy 16.50 €
Morče Nataša Velenská / Kniha Brožovaná
common.buy 5.86 €
Weg Ins Heim Trendb Uro / Kniha Brožovaná
common.buy 37.87 €
Christoph Columbus Jakob Wassermann / Kniha Brožovaná
common.buy 17.92 €
Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu) Nancy Phillips / Kniha Brožovaná
common.buy 10.62 €
Secme Dünya Öyküleri Jorge Luis Borges / Kniha Brožovaná
common.buy 16.20 €

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

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Computer Aided Verification
Autor Isil Dillig, Serdar Tasiran
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2019
Počet strán 673
EAN 9783030255398
ISBN 3030255395
Libristo kód 24027841
Nakladateľstvo Springer Nature Switzerland AG
Váha 1050
Rozmery 155 x 235 x 38

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Počítačové modelovanie a simulácie
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Výpočtové a informačné technológie > Počítačové siete a komunikácia
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Information Security Sokratis Katsikas / Kniha Brožovaná
common.buy 77.37 €
Katherine Mansfield: New Directions GASSTON AIMEE / Kniha Pevná
common.buy 147.15 €
Marriage, Totemism and Religion: An Answer to Critics Lord Avebury / Kniha Brožovaná
common.buy 30.07 €
MEE Questions Book 2 Celebration Bar Review LLC / Kniha Brožovaná
common.buy 87.80 €
Advances in Growth Curve and Structural Equation Modeling Ratan Dasgupta / Kniha Pevná
common.buy 51.75 €
Do You Dream of Terra-Two? Temi Oh / Kniha Brožovaná
common.buy 12.75 €
Feasibility Study Majura Jackson G. Majura / Kniha Brožovaná
common.buy 34.12 €
Soft Computing as Transdisciplinary Science and Technology Ajith Abraham / Kniha Brožovaná
common.buy 206.00 €
Group FEIGEL LARA / Kniha Brožovaná
common.buy 12.85 €
3 little sisters Radha Bamania / Kniha Brožovaná
common.buy 9.81 €
Top
Invisible Women: Data Bias in a World Designed for Men CRIADO PEREZ CAROLINE / Kniha Brožovaná
common.buy 14.88 €
Works of Ophra Behn Montague Summers / Kniha Pevná
common.buy 57.92 €
OLD AMERICAN SONGS II CHANT AARON COPLAND / Tlačovina Noty
common.buy 5.16 €
The Wager and Other Stories Greg Sushinsky / Kniha Brožovaná
common.buy 7.28 €
Top
Sex Differences in Intelligence Richard Lynn / Kniha Brožovaná
common.buy 14.27 €
Nové
Privileged Brotherhoods Adam Howard / Kniha Pevná
common.buy 63.80 €
My Life Scott Ludwig / Kniha Brožovaná
common.buy 21.06 €
Wolfsmund Kuji Mitsuhisa / Kniha Brožovaná
common.buy 9.92 €
Radiographic Atlas of Skeletal Development of the Hand and Wrist Greulich / Kniha Pevná
common.buy 168.83 €
Cast of Shadows Ronnie Maasz / Kniha Pevná
common.buy 102.08 €
Omaha Beach Adrian R. Lewis / Kniha Brožovaná
common.buy 43.64 €
Adolescent and the Cartel H G Nowland / Kniha Brožovaná
common.buy 12.04 €
BioShock: Rapture John Shirley / Kniha Brožovaná
common.buy 15.49 €
The Thin Black Line: True Stories by Black Law Enforcement Officers Policing America's Meanest Streets Hugh Holton / Kniha Brožovaná
common.buy 14.07 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?