Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Automated Technology for Verification and Analysis

9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Automated Technology for Verification and Analysis Tevfik Bultan
Koda Libristo: 01658982
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, september 2011
This book constitutes the refereed proceedings of the 9th International Symposium on Automated Techn... Celoten opis
? points 128 b
53.11 €
Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 13-18 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Hausbot Petr Horký / Knjiga Mehka
common.buy 13.04 €
Love by Kalypso Kalypso / Knjiga Mehka
common.buy 28.02 €
Les morues Lecoq / Knjiga Mehka
common.buy 24.98 €
Notre échappatoire bernard / Knjiga Mehka
common.buy 18.30 €
Sustentos Pixabay - / Knjiga Mehka
common.buy 7.68 €
Benninghoff/Drenckhahn, Anatomie Detlev Drenckhahn / Knjiga Trda
common.buy 185.85 €
Anglicky v běžných situacích Jitka Krejčíková / Knjiga Mehka
common.buy 3.43 €
Quinua Carlos Sopán Benaute / Knjiga Mehka
common.buy 48.96 €
Die Christel von der Post, 1 DVD Karl Anton / Film DVD
common.buy 12.23 €
Kuno Kopfgeldjäger: Erster Band Christian Franz-Josef Vollmer / Knjiga Mehka
common.buy 14.16 €
Anatomia dell'amore Eva Pierrakos / Knjiga Mehka
common.buy 6.97 €
Album Contemporain Europeen: Biogr. Historiques Avec Portraits Photographiques Lallier-J / Knjiga Mehka
common.buy 18.20 €
letzte Komoediant Karl Von Holtei / Knjiga Mehka
common.buy 24.17 €
Hoerspiel als Widerstand am Beispiel von Todesraten von Elfriede Jelinek und Olga Neuwirth Verena Wiesner / Knjiga Mehka
common.buy 16.08 €
justicia penal negociada - Un analisis comparativo entre los procesos penales espanol y peruano Mercedes Rosemarie Herrera Guerrero / Knjiga Mehka
common.buy 40.26 €
Camden Town Advanced - Globalization and global challenges Katrin Hübschen / Knjiga Mehka
common.buy 22.35 €
Na Kanadském severu Leoš Šimánek / Knjiga Trda
common.buy 12.94 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Automated Technology for Verification and Analysis
Avtor Tevfik Bultan, Pao-Ann Hsiung
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2011
Število strani 532
EAN 9783642243714
ISBN 3642243711
Koda Libristo 01658982
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 764
Mere 155 x 235 x 30

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Alas! Rhoda Broughton / Knjiga Trda
common.buy 32.77 €
Quantification in the Theory of Grammar Taisuke Nishigauchi / Knjiga Mehka
common.buy 113.31 €
Bear Under The Stairs Helen Cooper / Knjiga Mehka
common.buy 8.08 €
Asylum Christi Edward Gilliat / Knjiga Mehka
common.buy 22.86 €
"Roland" Roger M Hart / Knjiga Mehka
common.buy 18.30 €
Makeology Erica Halverson / Knjiga Mehka
common.buy 49.06 €
Uncomfortably Numb Sharon English / Knjiga Mehka
common.buy 16.68 €
Play and Other Stories Stephen Dixon / Knjiga Mehka
common.buy 9.60 €
Poetry 2005 by 6th Grade Students of Fairfield Middle School Ann Gookin / Knjiga Mehka
common.buy 13.85 €
Hudson's Marianne Weldon / Knjiga Trda
common.buy 23.06 €
Contaminated Soil J.W. Assink / Knjiga Mehka
common.buy 102.99 €
The Fascinating Bug Book for Kids Krystal Monique Toney / Knjiga Mehka
common.buy 12.03 €
Wahoo Sam Crawford: The King of Sluggers Kent Krause / Knjiga Mehka
common.buy 14.05 €
Teaching a Stone to Talk Annie Dillard / Knjiga Mehka
common.buy 11.02 €
PLAY EM RIGHT LATIN 2 ERIK VELDKAMP / Knjiga binding.
common.buy 21.14 €
Old-Time Primitive Methodism in Canada, 1829-1884 R. P. Hopper / Knjiga Mehka
common.buy 23.77 €
Inhuman Power Nick Dyer-Witheford / Knjiga Trda
common.buy 104.81 €
Spy Ships: One Hundred Years of Intelligence Collection by Ships and Submarines Lee J. Mathers / Knjiga Trda
common.buy 25.08 €
YOU'VE GOT TO LOSE TO WIN Will Simpson / E-knjiga Adobe ePub DRM
common.buy 17.09 €
Formation of English Neo-Classical Thought James William Johnson / Knjiga Trda
common.buy 136.38 €
Kitchen-Dweller's Testimony Ladan Osman / Knjiga Mehka
common.buy 12.03 €
English World 1 Grammar Practice Book Liz Hocking / Knjiga Mehka
common.buy 10.61 €
Business Lessons from a Radical Industrialist Ray C Anderson / Knjiga Mehka
common.buy 17.59 €
Sherlock Holmes Far and Wide Gretchen Altabef / Knjiga Trda
common.buy 28.32 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?