Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Computer Aided Verification

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Isil Dillig
Libristo kód: 24027841
Nakladatelství Springer Nature Switzerland AG, červenec 2019
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Plaster Czarownicy i inne baśnie Małgorzata Strzałkowska / Kniha Pevná
common.buy 245 Kč
LP! JPEGMAFIA Audio Audio vinyl
common.buy 1 150 Kč
Bleigewitter über Cinecitt? Christian Keßler / Kniha Pevná
common.buy 688 Kč
Hory zpívají Phan Que Mai Nguyen / Kniha Pevná
common.buy 346 Kč
KLIMATOLOGIE Émile H. Klouyo / Kniha Brožovaná
common.buy 893 Kč
Besser hausgemacht mit dem Thermomix® Doris Muliar / Kniha Brožovaná
common.buy 290 Kč
30 Jahre Nachhilfe in 60 Minuten Ulf - C. Roggendorff / Kniha Brožovaná
common.buy 249 Kč
Valorisation de soja: « tofu, farine infantile » José Tahina Ranaivotrimo / Kniha Brožovaná
common.buy 1 257 Kč
Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce EDAE / Kniha Brožovaná
common.buy 624 Kč
TEKIS GOMEZ / Kniha Pevná
common.buy 515 Kč
Cuento-juego. Los tres cerditos NICOLETTA CODIGNOLA / Kniha Brožovaná
common.buy 399 Kč
Morče Nataša Velenská / Kniha Brožovaná
common.buy 147 Kč
Weg Ins Heim Trendb Uro / Kniha Brožovaná
common.buy 865 Kč
Christoph Columbus Jakob Wassermann / Kniha Brožovaná
common.buy 409 Kč
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 258 Kč
Secme Dünya Öyküleri Jorge Luis Borges / Kniha Brožovaná
common.buy 370 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

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Computer Aided Verification
Autor Isil Dillig, Serdar Tasiran
Jazyk 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

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Počítačové modelování a simulace
Výpočetní a informační technologie > Informatika > Umělá inteligence
Výpočetní a informační technologie > Počítačové sítě a komunikace
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Information Security Sokratis Katsikas / Kniha Brožovaná
common.buy 1 770 Kč
Katherine Mansfield: New Directions GASSTON AIMEE / Kniha Pevná
common.buy 3 379 Kč
Marriage, Totemism and Religion: An Answer to Critics Lord Avebury / Kniha Brožovaná
common.buy 728 Kč
MEE Questions Book 2 Celebration Bar Review LLC / Kniha Brožovaná
common.buy 2 121 Kč
Advances in Growth Curve and Structural Equation Modeling Ratan Dasgupta / Kniha Pevná
common.buy 1 182 Kč
Do You Dream of Terra-Two? Temi Oh / Kniha Brožovaná
common.buy 308 Kč
Feasibility Study Majura Jackson G. Majura / Kniha Brožovaná
common.buy 824 Kč
Soft Computing as Transdisciplinary Science and Technology Ajith Abraham / Kniha Brožovaná
common.buy 4 707 Kč
Group FEIGEL LARA / Kniha Brožovaná
common.buy 312 Kč
3 little sisters Radha Bamania / Kniha Brožovaná
common.buy 237 Kč
Top
Invisible Women: Data Bias in a World Designed for Men CRIADO PEREZ CAROLINE / Kniha Brožovaná
common.buy 335 Kč
Works of Ophra Behn Montague Summers / Kniha Pevná
common.buy 1 318 Kč
OLD AMERICAN SONGS II CHANT AARON COPLAND / Tiskovina Noty
common.buy 125 Kč
The Wager and Other Stories Greg Sushinsky / Kniha Brožovaná
common.buy 175 Kč
Top
Sex Differences in Intelligence Richard Lynn / Kniha Brožovaná
common.buy 327 Kč
Nové
Privileged Brotherhoods Adam Howard / Kniha Pevná
common.buy 1 543 Kč
My Life Scott Ludwig / Kniha Brožovaná
common.buy 508 Kč
Wolfsmund Kuji Mitsuhisa / Kniha Brožovaná
common.buy 241 Kč
Radiographic Atlas of Skeletal Development of the Hand and Wrist Greulich / Kniha Pevná
common.buy 4 191 Kč
Cast of Shadows Ronnie Maasz / Kniha Pevná
common.buy 2 345 Kč
Omaha Beach Adrian R. Lewis / Kniha Brožovaná
common.buy 1 056 Kč
Adolescent and the Cartel H G Nowland / Kniha Brožovaná
common.buy 291 Kč
BioShock: Rapture John Shirley / Kniha Brožovaná
common.buy 350 Kč
The Thin Black Line: True Stories by Black Law Enforcement Officers Policing America's Meanest Streets Hugh Holton / Kniha Brožovaná
common.buy 341 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet