phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Automated Technology for Verification and Analysis

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Automated Technology for Verification and Analysis Tevfik Bultan
Libristo kod: 01658982
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, rujan 2011
This book constitutes the refereed proceedings of the 9th International Symposium on Automated Techn... Cijeli opis
? points 154 b
61.44 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

TOP
Hviezdny atlas k malým ďalekohľadom Péter Vizi / Tvrdi uvez
common.buy 17.04 €
RASPRODAJA
English World 1 Grammar Practice Book Liz Hocking / Meki uvez
common.buy 9.68 €
Na Kanadském severu Leoš Šimánek / Tvrdi uvez
common.buy 11.69 €
Anglicky v běžných situacích Jitka Krejčíková / Meki uvez
common.buy 3.02 €
Bear Under The Stairs Helen Cooper / Meki uvez
common.buy 9.47 €
Camden Town Advanced - Globalization and global challenges Katrin Hübschen / Meki uvez
common.buy 22.89 €
Sea Change: The Exclusive Economic Zone and Governance Institutions for Living Marine Resources Syma A. Ebbin / Tvrdi uvez
common.buy 121.07 €
Medicinal and Aromatic Plants XI Y.P.S. Bajaj / Tvrdi uvez
common.buy 324.68 €
Topological Defects and the Non-Equilibrium Dynamics of Symmetry Breaking Phase Transitions Yuriy M. Bunkov / Meki uvez
common.buy 240.53 €
Nuclear Import and Export in Plants and Animals Tzvi Tzfira / Tvrdi uvez
common.buy 186.25 €
Contaminated Soil J.W. Assink / Meki uvez
common.buy 121.07 €
Business Lessons from a Radical Industrialist Ray C Anderson / Meki uvez
common.buy 20.17 €
justicia penal negociada - Un analisis comparativo entre los procesos penales espanol y peruano Mercedes Rosemarie Herrera Guerrero / Meki uvez
common.buy 77.98 €
Macrofilosofia de La Globalizacion y del Pensamiento Unico Gon Al Mayos / Meki uvez
common.buy 43.88 €
Formation of English Neo-Classical Thought James William Johnson / Tvrdi uvez
common.buy 189.58 €

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.

Informacije o knjizi

Puni naziv Automated Technology for Verification and Analysis
Autor Tevfik Bultan, Pao-Ann Hsiung
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2011
Broj stranica 532
EAN 9783642243714
ISBN 3642243711
Libristo kod 01658982
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 764
Dimenzije 155 x 235 x 30

Kategorija

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun