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 Rupak Majumdar
Libristo kód: 16495654
Nakladateľstvo Springer International Publishing AG, júl 2017
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th Intern... 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

Pilzen begegnen Hans Manhart / Kniha Brožovaná
common.buy 21.97 €
SILAS MARNER Eliot / Kniha Brožovaná
common.buy 20.55 €
Promuovere la parit? di genere nel mercato del lavoro e la crescita economica Riana Navalona Ramonjamanana / Kniha Brožovaná
common.buy 39.29 €
Sprengstoffgesetz - SprengG 2023 Ronny Studier / Kniha Brožovaná
common.buy 11.03 €
Conexiones FERNANDEZ FRAGA / Kniha Brožovaná
common.buy 26.73 €
Uppgiften - erotiska noveller Cupido / Audiokniha MP3
common.buy 3.13 €
Top
Puzzle Hello Kitty 1000 dílků / Hra/Hračka Puzzle
common.buy 7.38 €
Riconoscimento del modello nel processo di apprendimento Sanchez Casanova Ricardo Sanchez Casanova / Kniha Brožovaná
common.buy 35.74 €
Ur Finlands Konstitutionella Historia, 1809-1863 (1898) Magnus Gottfrid Schybergson / Kniha Brožovaná
common.buy 15.79 €
Ripios Geográficos Antonio De Valbuena / Kniha Brožovaná
common.buy 22.88 €
Praxisphasen in der Lehrerbildung Axel Knüppel / Kniha Brožovaná
common.buy 31.59 €
Plays Hits Agogo Lutz Krajenski feat. Alana Alexander / Audio Audio CD
common.buy 18.93 €
Organisation von Systemen Bernhard Waszkewitz / Kniha Brožovaná
common.buy 44.76 €
Geschichte der Freundschaft Michael Roes / Kniha Pevná
common.buy 23.69 €
Amanda Und Eduard Sophie Mereau / Kniha Brožovaná
common.buy 11.74 €
Geschichte eines Vampirs Thomas Neumann / Kniha Brožovaná
common.buy 9.00 €
Soldaten Sönke Neitzel / Kniha Brožovaná
common.buy 19.74 €

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

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 Rupak Majumdar, Viktor Kuncak
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2017
Počet strán 623
EAN 9783319633893
ISBN 3319633899
Libristo kód 16495654
Nakladateľstvo Springer International Publishing AG
Váha 9591
Rozmery 155 x 235 x 36

Kategórie

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo
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ť

Word Study in the Inclusive Secondary Classroom Melinda Leko / Kniha Pevná
common.buy 77.07 €
How to Make Historic American Costumes Mary Evans / Kniha Pevná
common.buy 38.27 €
Fading Humans of Digital World: Balancing crisis of Personal, Corporate and Digital world Girish Joshi / Kniha Brožovaná
common.buy 5.86 €
Top
Shikimori's Not Just a Cutie 12 V12 / Kniha Brožovaná
common.buy 10.02 €
Top
The Land of Stories Set Chris Colfer / Kniha Brožovaná
common.buy 44.76 €
Statistics without Tears Derek Rowntree / Kniha Brožovaná
common.buy 11.94 €
Great Whiskies DK / Kniha Pevná
common.buy 14.98 €
Commonsense Shotgun Shooting with Fred Etchen Fred Etchen / Kniha Pevná
common.buy 39.19 €
The Era of International Space Station Utilization: Perspectives on Strategy from International Research Leaders National Aeronautics and Administration / Kniha Brožovaná
common.buy 14.98 €
Development As Freedom Amartya Kumar Sen / Kniha Brožovaná
common.buy 14.88 €
Price of Love Vicki Hopkins / Kniha Brožovaná
common.buy 13.97 €
Carbon Footprint Analysis Defne Apul / Kniha Pevná
common.buy 165.28 €
Nick's First Holiday Celebration Linda Sicks / Kniha Pevná
common.buy 17.21 €
RNA Biology - An Introduction Gunter Meister / Kniha Brožovaná
common.buy 71.39 €
Confirmation Wars Benjamin Wittes / Kniha Brožovaná
common.buy 20.25 €
Nuclear Instrumentation II / Instrumentelle Hilfsmittel der Kernphysik II Edward Creutz / Kniha Brožovaná
common.buy 51.75 €
Holiday Heaven Cupido / Audiokniha MP3
common.buy 3.94 €
Microstructure Atlas of P22 Steel Rajat K. Roy / Kniha Brožovaná
common.buy 144.22 €
Dr. Cocktail Alex Ott / Kniha Pevná
common.buy 13.97 €

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ť?