Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen
Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Automated Technology for Verification and Analysis

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

Sprache EnglischEnglisch
Buch Broschur
Buch Automated Technology for Verification and Analysis Susanne Graf
Libristo-Code: 01564910
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2006
This book constitutes the refereed proceedings of the Third International Symposium on Automated Tec... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Révélations Galactiques Tome 2 - Sortir de la matrice Givaudan / Buch Broschur
common.buy 23.69 €
Familienplaner 2026 - In Gedanken auf den Seychellen mit 5 Spalten (Wandkalender, 21 x 45 cm) CALVENDO Calvendo / Kalender/Terminbuch Kalender
common.buy 21.99 €
Kuroko's Basketball Season 2 Vol.1 (Blu-ray) / Video Blu-ray
common.buy 63.19 €
Preparation A La Mort. 9e Edition Jean Crasset / Buch Broschur
common.buy 18.09 €
Terror In Taos Chet Cunningham Hörbuch MP3
common.buy 26.09 €
Reise Know-How Wohnmobil-Tourguide Südtirol mit Gardasee Michael Moll / Buch Broschur
common.buy 24.95 €
Tragizm polityki naszych czasów. Strach, fatum i brzemię władzy Robert D. Kaplan / Buch Broschur
common.buy 12.99 €
Gesammelte Schriften: Die Grundung Prags: Ein Historisch-Romantisches Drama Clemens Brentano / Buch Broschur
common.buy 30.29 €
August Schneegans, 1835-1898: Memoiren Ein Beitrag Zur Geschichte Des Elsasses in Der Ubergangszeit (1904) August Schneegans / Buch Broschur
common.buy 41.59 €
Viage De Espa?a, Volume 2 Antonio Ponz / Buch Broschur
common.buy 28.79 €
EL LLIBRE QUE ES MOU ANNE-SOPHIE BAUMANN / Buch Hardcover
common.buy 13.79 €
Amor fou MARTA SANZ / Buch Broschur
common.buy 28.29 €
Almanach českých šlechtických a rytířských rodů 2028 Karel Vavřínek / Buch Blatt
common.buy 8.09 €
Dictionnaire Historique de l'Ancien Langage Francois.Tome IV. Chie-Deca De Sainte-Palaye-J-B / Buch Broschur
common.buy 34.29 €
16 Romantische Welterfolge, 1 Audio-CD arious / Audio Audio CD
common.buy 11.39 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Automated Technology for Verification and Analysis
Autor Susanne Graf, Wenhui Zhang
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2006
Anzahl der Seiten 546
EAN 9783540472377
ISBN 3540472371
Libristo-Code 01564910
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1710
Abmessungen 155 x 235 x 30

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme
EDV und Informationstechnologie > Grafische und digitale Media-Anwendungen > Computer-Aided Design (CAD)
EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Guillaume Michael Arno Bender / Buch Broschur
common.buy 24.79 €
Were- Patricia Bray / Buch Broschur
common.buy 16.39 €
Top
Anne of Ingleside L M Montgomery / Buch Broschur
common.buy 12.49 €
The Ash Beneath My Feet Lucia Fudge / Buch Broschur
common.buy 10.59 €
Homemade Bath Bombs and Bubble Baths: Simple to Make DIY Bath Bomb and Bubble Bath Recipes Josephine Simon / Buch Broschur
common.buy 10.89 €
Nowhere to Hide R. SAMUEL BATY / Buch Broschur
common.buy 9.59 €
Quicksilver War: Syria, Iraq and the Spiral of Conflict William Harris / Buch Hardcover
common.buy 35.09 €
The Supplies of Room Nine Learn to Shine Jessica Lewis / Buch Hardcover
common.buy 14.49 €
Enigma En El Laberinto De Maiz Pedro Tena Tena / Buch Broschur
common.buy 16.69 €
DBT Therapy Workbook for Teens & Parents Kardas Publishig / Buch Broschur
common.buy 19.09 €
Adobe Photoshop Lightroom Classic Classroom in a Book (2022 release) Rafael Concepcion / Buch Broschur
common.buy 55.89 €
My Hero Academia: Smash!!, Vol. 5 Kohei Horikoshi / Buch Broschur
common.buy 10.49 €
What's Wrong with the World G. K. Chesterson / Buch Hardcover
common.buy 16.49 €
Antiklotzius (1762) Pieter Burman / Buch Broschur
common.buy 20.39 €
HCG-DIET; What Dr. Simeons Really Said Susan Margret Wimmer / Buch Broschur
common.buy 23.49 €
Demnächst
THE WAY OF JESUS Rebecca Pippert / Buch Broschur
common.buy 10.49 €
Top
Harry Potter and the Goblet of Fire (Harry Potter, Book 4) (Interactive Illustrated Edition) Joanne K. Rowling / Buch Hardcover
common.buy 39.69 €
Change and Progress in Modern Science Joseph C. Pitt / Buch Hardcover
common.buy 181.49 €
Perfect Imperfect MCCARTNEY KAREN / Buch Hardcover
common.buy 39.39 €
Beyond the Lettered City Joanne Rappaport / Buch Broschur
common.buy 49.79 €
Due Diligence for Global Deal Making - The Definitive Guide to Cross-Border Mergers and Acquisitions, Joint Ventures, Financings, and Stra Rosenbloom / Buch Hardcover
common.buy 70.59 €
Demnächst
Dance of the Sleepwalkers Calabria / Buch Hardcover
common.buy 47.19 €
Bring Your Vision To Life Ralph McCall / Buch Broschur
common.buy 9.59 €
Sexual Politics in the Work of Tennessee Williams Michael S. D. Hooper / Buch Broschur
common.buy 49.79 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto