phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft
phone Kapcsolat phoneHogyan vásároljunk

Automated Technology for Verification and Analysis

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Automated Technology for Verification and Analysis Tevfik Bultan
Libristo kód: 01658982
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, szeptember 2011
This book constitutes the refereed proceedings of the 9th International Symposium on Automated Techn... Teljes leírás
? points 168 b
26 358 Ft
Beszállítói készleten alacsony példányszámban Küldés 14-18 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

Hviezdny atlas k malým ďalekohľadom Péter Vizi / Kemény kötésű
common.buy 6 726 Ft
Na Kanadském severu Leoš Šimánek / Kemény kötésű
common.buy 4 593 Ft
English World 1 Grammar Practice Book Liz Hocking / Puha kötésű
common.buy 5 160 Ft
Anglicky v běžných situacích Jitka Krejčíková / Puha kötésű
common.buy 1 210 Ft
hamarosan
Tematické prověrky z učiva fyziky ZŠ pro 8.roč Jiří Bohuněk / Puha kötésű
common.buy 1 817 Ft
Bear Under The Stairs Helen Cooper / Puha kötésű
common.buy 3 735 Ft
Macrofilosofia de La Globalizacion y del Pensamiento Unico Gon Al Mayos / Puha kötésű
common.buy 18 929 Ft
Sea Change: The Exclusive Economic Zone and Governance Institutions for Living Marine Resources Syma A. Ebbin / Kemény kötésű
common.buy 51 953 Ft
Medicinal and Aromatic Plants XI Y.P.S. Bajaj / Kemény kötésű
common.buy 127 694 Ft
Formation of English Neo-Classical Thought James William Johnson / Kemény kötésű
common.buy 76 760 Ft
Camden Town Advanced - Globalization and global challenges Katrin Hübschen / Puha kötésű
common.buy 9 065 Ft
Topological Defects and the Non-Equilibrium Dynamics of Symmetry Breaking Phase Transitions Yuriy M. Bunkov / Puha kötésű
common.buy 103 153 Ft
Contaminated Soil J.W. Assink / Puha kötésű
common.buy 51 953 Ft
Nuclear Import and Export in Plants and Animals Tzvi Tzfira / Kemény kötésű
common.buy 79 882 Ft
justicia penal negociada - Un analisis comparativo entre los procesos penales espanol y peruano Mercedes Rosemarie Herrera Guerrero / Puha kötésű
common.buy 33 792 Ft
Business Lessons from a Radical Industrialist Ray C Anderson / Puha kötésű
common.buy 8 905 Ft

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.

Információ a könyvről

Teljes megnevezés Automated Technology for Verification and Analysis
Szerző Tevfik Bultan, Pao-Ann Hsiung
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2011
Oldalszám 532
EAN 9783642243714
ISBN 3642243711
Libristo kód 01658982
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 764
Méretek 155 x 235 x 30

Kategória

Számítástechnika és információtechnológia > Számítógépes hardver > Hálózati hardver
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Operációs rendszerek
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása