phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč PPL 99 Kč Zásilkovna 54 Kč
phone Kontakt phoneJak nakupovat

Automated Technology for Verification and Analysis

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Automated Technology for Verification and Analysis Tevfik Bultan
Libristo kód: 01658982
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, září 2011
This book constitutes the refereed proceedings of the 9th International Symposium on Automated Techn... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 12-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Hviezdny atlas k malým ďalekohľadom Péter Vizi / Pevná
common.buy 354 Kč
Na Kanadském severu Leoš Šimánek / Pevná
common.buy 281 Kč
English World 1 Grammar Practice Book Liz Hocking / Brožovaná
common.buy 279 Kč
Anglicky v běžných situacích Jitka Krejčíková / Brožovaná
common.buy 77 Kč
Připravujeme
Tematické prověrky z učiva fyziky ZŠ pro 8.roč Jiří Bohuněk / Brožovaná
common.buy 110 Kč
Bear Under The Stairs Helen Cooper / Brožovaná
common.buy 252 Kč
Sea Change: The Exclusive Economic Zone and Governance Institutions for Living Marine Resources Syma A. Ebbin / Pevná
common.buy 3 313 Kč
Macrofilosofia de La Globalizacion y del Pensamiento Unico Gon Al Mayos / Brožovaná
common.buy 1 207 Kč
Camden Town Advanced - Globalization and global challenges Katrin Hübschen / Brožovaná
common.buy 579 Kč
Medicinal and Aromatic Plants XI Y.P.S. Bajaj / Pevná
common.buy 8 561 Kč
Formation of English Neo-Classical Thought James William Johnson / Pevná
common.buy 4 895 Kč
Nuclear Import and Export in Plants and Animals Tzvi Tzfira / Pevná
common.buy 5 094 Kč
Contaminated Soil J.W. Assink / Brožovaná
common.buy 3 313 Kč
Topological Defects and the Non-Equilibrium Dynamics of Symmetry Breaking Phase Transitions Yuriy M. Bunkov / Brožovaná
common.buy 6 578 Kč
justicia penal negociada - Un analisis comparativo entre los procesos penales espanol y peruano Mercedes Rosemarie Herrera Guerrero / Brožovaná
common.buy 2 155 Kč
Business Lessons from a Radical Industrialist Ray C Anderson / Brožovaná
common.buy 568 Kč

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011.§The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field.

Informace o knize

Plný název Automated Technology for Verification and Analysis
Autor Tevfik Bultan, Pao-Ann Hsiung
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2011
Počet stran 532
EAN 9783642243714
ISBN 3642243711
Libristo kód 01658982
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 764
Rozměry 155 x 235 x 30

Kategorie

Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
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 > Architektura počítače a logic design
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

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