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

21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Ahmed Bouajjani
Libristo kód: 01650024
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 2009
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aide... Celý popis
? points 236 b
2 357 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Podstawy ekonomii Podrecznik Janina Mierzejewska-Majcherek / Kniha Brožovaná
common.buy 314 Kč
Cómo estudiar 2. Ejercicios prácticos Antonio Vallés Arándiga / Kniha Brožovaná
common.buy 414 Kč
Die Evolution vom Gesichtspunkte des Wahrhaftigen Rudolf Steiner / Kniha Pevná
common.buy 693 Kč
Klekání Francis Jammes / Kniha List
common.buy 192 Kč
Modernes Sachsen Ralph Lindner / Kniha Brožovaná
common.buy 504 Kč
Etude comparative et Amélioration des protocoles de Routage(LEACH&SEP) Rahma Gantassi / Kniha Brožovaná
common.buy 1 338 Kč
Zu den Schriften Ivos bon Chartres Franz Plazidus Bliemetzrieder / Kniha Brožovaná
common.buy 322 Kč
Contos que n?o se contam Rohrig C / Kniha Brožovaná
common.buy 142 Kč
Jydsk Staevne: Et Aarsskrift... Jeppe Aakj R. / Kniha Brožovaná
common.buy 532 Kč
CAPTATION AUDIOVISUELLE DES SPECTACLES VIVANTS GUILLOUX JEAN-MARIE / Kniha Brožovaná
common.buy 780 Kč
El espia que no sabia contar Karlos San Pedro / Kniha Brožovaná
common.buy 283 Kč
Oheň Jane Caseyová / Kniha Pevná
common.buy 250 Kč
Energie Vaclav Smil / Kniha Pevná
common.buy 356 Kč

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009.§The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques.

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 Ahmed Bouajjani, Oded Maler
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2009
Počet stran 722
EAN 9783642026577
ISBN 3642026575
Libristo kód 01650024
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1116
Rozměry 155 x 235 x 40

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
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 > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Systémová analýza a systémový design
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Výpočetní a informační technologie > Operační systémy
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

Environmentally Friendly Alkylphosphonate Herbicides Hong-Wu He / Kniha Brožovaná
common.buy 2 357 Kč
Parallel and Distributed Computing and Networks Luo Qi / Kniha Brožovaná
common.buy 1 352 Kč
Levně
One Graham Priest / Kniha Brožovaná
common.buy 466 Kč
Kitsune Nicolette Andrews / Kniha Brožovaná
common.buy 458 Kč
New York City's Italian Neighborhoods Raymond Guarini / Kniha Brožovaná
common.buy 491 Kč
Advances in Chitin/Chitosan Characterization and Applications Marguerite Rinaudo / Kniha Brožovaná
common.buy 1 814 Kč
Chinese Central Asia Henry Lansdell / Kniha Brožovaná
common.buy 711 Kč
Democratic Incongruities D. Judge / Kniha Brožovaná
common.buy 1 223 Kč
Advanced Penetration Testing for Highly-Secured Environments - Lee Allen / Kniha Brožovaná
common.buy 1 535 Kč
Ella Warner US Marshal JL 'DOC' PENDLAND / Kniha Brožovaná
common.buy 444 Kč
Checkmating Aliens Soma Vira / Kniha Brožovaná
common.buy 241 Kč
Group Theory for Physicists Zhong-Qi Ma / Kniha Brožovaná
common.buy 1 055 Kč
Creation of the Roman Frontier Stephen L. Dyson / Kniha Pevná
common.buy 2 949 Kč
Autobiographical Statements in Twentieth-Century Russian Literature Jane Gary Harris / Kniha Pevná
common.buy 2 536 Kč
Cities, Business, and the Politics of Urban Violence in Latin America Eduardo Moncada / Kniha Pevná
common.buy 1 921 Kč
Molten Salts Chemistry Frederic Lantelme / Kniha Pevná
common.buy 4 804 Kč
Granular Physics Anita Mehta / Kniha Brožovaná
common.buy 1 545 Kč
Color Atlas of Embryology U. Drews / Kniha Brožovaná
common.buy 1 222 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