Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01658982
Price: 58.37 EUR
Availability: InStock
Author: Tevfik Bultan
ISBN: 9783642243714

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

Tevfik Bultan

Pao-Ann Hsiung

Sprache

Englisch

Buch Broschur

Libristo-Code: 01658982

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2011

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Techn... Vollständige Beschreibung

Libristo-Code: 01658982

141 b

58.37 €

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Love by Kalypso Kalypso

Broschur

30.90 €

Anglicky v běžných situacích Jitka Krejčíková

Broschur

3.83 €

Les morues Lecoq

Broschur

27.47 €

Hausbot Petr Horký

Broschur

13.83 €

Benninghoff/Drenckhahn, Anatomie Detlev Drenckhahn

Hardcover

185.55 €

Sustentos Pixabay -

Broschur

8.48 €

Die Christel von der Post, 1 DVD Karl Anton

DVD

12.21 €

Kuno Kopfgeldjäger: Erster Band Christian Franz-Josef Vollmer

Broschur

15.75 €

Hoerspiel als Widerstand am Beispiel von Todesraten von Elfriede Jelinek und Olga Neuwirth Verena Wiesner

Broschur

17.06 €

justicia penal negociada - Un analisis comparativo entre los procesos penales espanol y peruano Mercedes Rosemarie Herrera Guerrero

Broschur

42.72 €

Camden Town Advanced - Globalization and global challenges Katrin Hübschen

Broschur

24.64 €

Na Kanadském severu Leoš Šimánek

Hardcover

13.73 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

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 Tevfik Bultan, Pao-Ann Hsiung

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2011

Anzahl der Seiten 532

EAN 9783642243714

ISBN 3642243711

Libristo-Code 01658982

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 764

Abmessungen 155 x 235 x 30

Kategorie

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Betriebssysteme

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