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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.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: 01569366
Price: 53.79 EUR
Availability: InStock
Author: Kedar Namjoshi
ISBN: 9783540755951

5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Sprache

Englisch

Buch Broschur

Libristo-Code: 01569366

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2007

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

Libristo-Code: 01569366

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Vers la maîtrise du monoski et au-del? Tsallen

Broschur

22.79 €

Dirección de la fuerza de ventas ENRIQUE CARLOS DIEZ DE CASTRO

Broschur

40.89 €

Betragtninger Over Den Naturlige Theologie (1805) Frederik Munter

Broschur

36.69 €

Ossigenoterapia iperbarica e lesioni ano-perineali Alaa Nciri

Broschur

40.99 €

Kalinti

Broschur

20.99 €

Daňový sprievodca 2023 s komentárom autorov Kolektív

Broschur

11.99 €

de la Broncho-Pneumonie Dans La Diphterie Darier-F-J

Broschur

17.09 €

Odsun sovětských vojsk Karel Pecka

binding.

4.59 €

Geographie von Griechenland Konrad Bursian

Broschur

34.90 €

Ekonomika v souvislostech Jan Vávra

Broschur

7.49 €

Hypersensitiv Sabrina Wallner

Broschur

14.95 €

Studie uber das Leben erfolgreicher Menschen mit Behinderung Siegfried Bachmayer

Broschur

47.95 €

Deutsch-Amerikanisches Verfassungsrechtssymposium 1976. Wilhelm A. Kewenig

Broschur

66.39 €

Schöne Augen Franz Specht

Blatt

10.00 €

This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.

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 Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2007

Anzahl der Seiten 570

EAN 9783540755951

ISBN 3540755950

Libristo-Code 01569366

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

Gewicht 884

Abmessungen 155 x 235 x 32

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