Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Automated Technology for Verification and Analysis

4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Automated Technology for Verification and Analysis Susanne Graf
Libristo kod: 01564910
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2006
This book constitutes the refereed proceedings of the Third International Symposium on Automated Tec... Cijeli opis
? points 125 b
51.78 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Révélations Galactiques Tome 2 - Sortir de la matrice Givaudan / Knjiga Meki uvez
common.buy 21.88 €
Familienplaner 2026 - In Gedanken auf den Seychellen mit 5 Spalten (Wandkalender, 21 x 45 cm) CALVENDO Calvendo / Kalendar/Rokovnik Kalendar
common.buy 19.65 €
Kuroko's Basketball Season 2 Vol.1 (Blu-ray) / Video Blu-ray
common.buy 61.10 €
Preparation A La Mort. 9e Edition Jean Crasset / Knjiga Meki uvez
common.buy 17.42 €
Terror In Taos Chet Cunningham Audio knjiga MP3
common.buy 24.11 €
Reise Know-How Wohnmobil-Tourguide Südtirol mit Gardasee Michael Moll / Knjiga Meki uvez
common.buy 22.39 €
Tragizm polityki naszych czasów. Strach, fatum i brzemię władzy Robert D. Kaplan / Knjiga Meki uvez
common.buy 11.34 €
Gesammelte Schriften: Die Grundung Prags: Ein Historisch-Romantisches Drama Clemens Brentano / Knjiga Meki uvez
common.buy 28.87 €
August Schneegans, 1835-1898: Memoiren Ein Beitrag Zur Geschichte Des Elsasses in Der Ubergangszeit (1904) August Schneegans / Knjiga Meki uvez
common.buy 40.22 €
Viage De Espa?a, Volume 2 Antonio Ponz / Knjiga Meki uvez
common.buy 27.35 €
EL LLIBRE QUE ES MOU ANNE-SOPHIE BAUMANN / Knjiga Tvrdi uvez
common.buy 13.98 €
Amor fou MARTA SANZ / Knjiga Meki uvez
common.buy 26.44 €
Almanach českých šlechtických a rytířských rodů 2028 Karel Vavřínek / Knjiga List
common.buy 7.29 €
Dictionnaire Historique de l'Ancien Langage Francois.Tome IV. Chie-Deca De Sainte-Palaye-J-B / Knjiga Meki uvez
common.buy 30.60 €
16 Romantische Welterfolge, 1 Audio-CD arious / Audio Audio CD
common.buy 10.94 €

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.§The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Automated Technology for Verification and Analysis
Autor Susanne Graf, Wenhui Zhang
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2006
Broj stranica 546
EAN 9783540472377
ISBN 3540472371
Libristo kod 01564910
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 1710
Dimenzije 155 x 235 x 30

Kategorija

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer networking & communications
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

Moglo bi vas zanimati i

Guillaume Michael Arno Bender / Knjiga Meki uvez
common.buy 23.91 €
Were- Patricia Bray / Knjiga Meki uvez
common.buy 15.80 €
Anne of Ingleside L M Montgomery / Knjiga Meki uvez
common.buy 12.15 €
The Ash Beneath My Feet Lucia Fudge / Knjiga Meki uvez
common.buy 10.23 €
Homemade Bath Bombs and Bubble Baths: Simple to Make DIY Bath Bomb and Bubble Bath Recipes Josephine Simon / Knjiga Meki uvez
common.buy 10.53 €
Nowhere to Hide R. SAMUEL BATY / Knjiga Meki uvez
common.buy 9.21 €
Quicksilver War: Syria, Iraq and the Spiral of Conflict William Harris / Knjiga Tvrdi uvez
common.buy 34.14 €
The Supplies of Room Nine Learn to Shine Jessica Lewis / Knjiga Tvrdi uvez
common.buy 13.98 €
Enigma En El Laberinto De Maiz Pedro Tena Tena / Knjiga Meki uvez
common.buy 15.39 €
DBT Therapy Workbook for Teens & Parents Kardas Publishig / Knjiga Meki uvez
common.buy 18.54 €
Adobe Photoshop Lightroom Classic Classroom in a Book (2022 release) Rafael Concepcion / Knjiga Meki uvez
common.buy 53.50 €
My Hero Academia: Smash!!, Vol. 5 Kohei Horikoshi / Knjiga Meki uvez
common.buy 8.71 €
What's Wrong with the World G. K. Chesterson / Knjiga Tvrdi uvez
common.buy 15.80 €
Antiklotzius (1762) Pieter Burman / Knjiga Meki uvez
common.buy 25.12 €
HCG-DIET; What Dr. Simeons Really Said Susan Margret Wimmer / Knjiga Meki uvez
common.buy 22.49 €
Pripremamo
THE WAY OF JESUS Rebecca Pippert / Knjiga Meki uvez
common.buy 9.31 €
Top
Harry Potter and the Goblet of Fire (Harry Potter, Book 4) (Interactive Illustrated Edition) Joanne K. Rowling / Knjiga Tvrdi uvez
common.buy 38.50 €
Change and Progress in Modern Science Joseph C. Pitt / Knjiga Tvrdi uvez
common.buy 168.02 €
Perfect Imperfect MCCARTNEY KAREN / Knjiga Tvrdi uvez
common.buy 35.06 €
Beyond the Lettered City Joanne Rappaport / Knjiga Meki uvez
common.buy 48.33 €
Due Diligence for Global Deal Making - The Definitive Guide to Cross-Border Mergers and Acquisitions, Joint Ventures, Financings, and Stra Rosenbloom / Knjiga Tvrdi uvez
common.buy 67.28 €
Pripremamo
Dance of the Sleepwalkers Calabria / Knjiga Tvrdi uvez
common.buy 42.96 €
Bring Your Vision To Life Ralph McCall / Knjiga Meki uvez
common.buy 9.21 €
Sexual Politics in the Work of Tennessee Williams Michael S. D. Hooper / Knjiga Meki uvez
common.buy 48.23 €

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
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?