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 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Automated Technology for Verification and Analysis Shuvendu K. Lahiri
Libristo kód: 20124323
Nakladateľstvo Springer Nature Switzerland AG, september 2018
This book constitutes the refereed proceedings of the 24th International Symposium on Automated Tech... Celý popis
? points 125 b
51.38 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Vkládačka Moje první auta / Hra/Hračka Hra
common.buy 6.73 €
Atis ja Camilla Gustav Philip Creutz / Kniha Pevná
common.buy 28.97 €
Husserl Natalie Depraz / Kniha Kniha
common.buy 23.73 €
SAPA INCA Enjame-Brunazzi / Kniha Brožovaná
common.buy 22.82 €
Byt - Román ve dvou Jana Šrámková / Kniha Pevná
common.buy 18.19 €

This book constitutes the refereed proceedings of the 24th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.

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 Automated Technology for Verification and Analysis
Autor Shuvendu K. Lahiri, Chao Wang
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2018
Počet strán 560
EAN 9783030010898
Libristo kód 20124323
Nakladateľstvo Springer Nature Switzerland AG
Váha 872
Rozmery 155 x 235 x 33

Kategórie

Výpočtové a informačné technológie > Grafické a digitálne mediálne aplikácie > Počítačová 3D grafika a modelovanie
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 > Teória algoritmov
Výpočtové a informačné technológie > Počítačová bezpečnosť
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ť

Top
Algorithms to Live By Brian Christian / Kniha Brožovaná
common.buy 13.67 €
The Nuxt.js Developer's Handbook Austin Sanders / Kniha Brožovaná
common.buy 31.77 €
Intervals Marianne Brooker / Kniha Brožovaná
common.buy 11.76 €
Ctenophores of the Atlantic Coast of North America Alfred Goldsborough Mayer / Kniha Brožovaná
common.buy 17.19 €
World War Ii Remembrance Diane Ledgerwood / Kniha Brožovaná
common.buy 29.46 €
Women Don't Owe You Pretty Florence Given / E-kniha Adobe ePub DRM
common.buy 4.92 €
Guiding School Improvement with Action Research Richard Sagor / Kniha Pevná
common.buy 34.39 €
War for Peace Arthur Deerin Call / Kniha Pevná
common.buy 26.14 €
To God Be the Glory Daily Devotional Garry Glaub / Kniha Brožovaná
common.buy 28.86 €
Radical Islam and the Battle for the Americas Michelangelo Buonarroti / Kniha Brožovaná
common.buy 25.44 €
Illustrated Alphabetical Register of Veterinary Instruments Anatomical Models, Books and C. John Reynders / Kniha Brožovaná
common.buy 14.17 €
Florentine Codex, Introductory Volume Charles E. Dibble / Kniha Brožovaná
common.buy 34.49 €

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