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: 16495653
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

La vie rêvée du Post-partum Caroline Michel Kniha Brožovaná
common.buy 25.31 €
Lone Survivor (Original Motion Picture Soundtrack) / Audio Audio CD
common.buy 16.80 €
Didier Grousset/Brigitte Smadja: Il faut sauver Saïd: Filmanalyse Martin Thoböll / Kniha Brožovaná
common.buy 35.54 €
Beziehungsmanagement im Sportsponsoring? Thorben Meier / Kniha Brožovaná
common.buy 66.03 €
PHDA na pratica Rui Pedro Ribeiro / E-kniha Adobe ePub DRM
common.buy 8.80 €
Sortie à la médiathèque, niveau 1 - J'apprends à lire Montessori Charlotte Jouenne / Kniha Brožovaná
common.buy 6.88 €
PASSACAILLE --- GUITARE KLEYNJANS FRANCIS Kniha binding.
common.buy 13.06 €
One Piece 95 Antje Bockel / Kniha Brožovaná
common.buy 6.98 €
Comment Jouer Au Golf VARDON-H / Kniha Brožovaná
common.buy 19.33 €
Leonor Merimee (1757-1836) Gaston Pinet / Kniha Brožovaná
common.buy 17.51 €

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 601
EAN 9783319633862
ISBN 3319633864
Libristo kód 16495653
Nakladateľstvo Springer International Publishing AG
Váha 9299
Rozmery 155 x 235 x 35

Kategórie

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

Product Research 101: Find Winning Products to Sell on Amazon and Beyond Renae Clark / Kniha Brožovaná
common.buy 7.69 €
Storm Makers Jennifer E. Smith / Kniha Brožovaná
common.buy 16.20 €
Walkertown Area Historical Society Walkertown / Kniha Brožovaná
common.buy 18.32 €
Doberman Pinschers Christina Leighton / Kniha Pevná
common.buy 33.11 €
THE GEORGIAN; OR, THE MOOR OF TRIPOLI: A ELIZABETH THOMAS / Kniha Pevná
common.buy 29.26 €
Current Developments in Biotechnology and Bioengineering Ashok Pandey / Kniha Brožovaná
common.buy 198.50 €
First Principles of Gastroenterology and Hepatology in Adults and Children - Volume I - Gastroenterology: Volume I - Gastroenterology A B R Thomson / Kniha Brožovaná
common.buy 39.79 €
Sudoku Minesweeper - 200 Easy to Medium Puzzles 9x9 (Volume 7) Dart Veider / Kniha Brožovaná
common.buy 7.28 €
Immunomodulatory Role of Black Seed Oil Muhammad Shahzad / Kniha Brožovaná
common.buy 50.02 €
The Story of King Arthur and His Knights Howard Pyle / Kniha Brožovaná
common.buy 13.06 €
Hizballah Shimon Shapira / Kniha Brožovaná
common.buy 53.67 €
Rutherford College Catalog; 1924-1925 Rutherford College / Kniha Brožovaná
common.buy 17.51 €
The Unofficial Disney Parks Cookbooks Boxed Set: The Unofficial Disney Parks Cookbook, the Unofficial Disney Parks EPCOT Cookbook, the Unofficial Disn Craft / Kniha Pevná
common.buy 36.96 €
Top
The Hurricane Wars GUANZON THEA / Kniha Brožovaná
common.buy 13.76 €
Blue Room David Hare / Kniha Brožovaná
common.buy 11.84 €
Methods Of Qualitative Theory In Nonlinear Dynamics (Part Ii) Leonid Shilnikov / Kniha Pevná
common.buy 174.70 €
Mobile Genetic Elements Yves Bigot / Kniha Pevná
common.buy 100.87 €
What You Don't Know Will Hurt You Denise Skarbek / Kniha Pevná
common.buy 114.95 €
Computer Architecture Gerard Blanchet / Kniha Pevná
common.buy 135.61 €
International Negotiations, Student's Book w. 2 Audio-CDs Mark Powell / Kniha Brožovaná
common.buy 46.99 €
Neural Computing - An Introduction T. Jackson / Kniha Brožovaná
common.buy 92.36 €
Auld Sod David Edson / Kniha Brožovaná
common.buy 14.78 €
Personal Math Companion Marsha P Smith / Kniha Pevná
common.buy 26.32 €
Food Wars Mairi McLellan / Kniha Pevná
common.buy 36.05 €

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