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.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01650024
Price: 107.29 EUR
Availability: InStock
Author: Ahmed Bouajjani
ISBN: 9783642026577

21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Ahmed Bouajjani

Oded Maler

Sprache

Englisch

Buch Broschur

Libristo-Code: 01650024

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2009

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aide... Vollständige Beschreibung

Libristo-Code: 01650024

263 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Podstawy ekonomii Podrecznik Janina Mierzejewska-Majcherek

Broschur

13.89 €

Cómo estudiar 2. Ejercicios prácticos Antonio Vallés Arándiga

Broschur

17.69 €

Die Evolution vom Gesichtspunkte des Wahrhaftigen Rudolf Steiner

Hardcover

34.00 €

Klekání Francis Jammes

Blatt

8.79 €

Modernes Sachsen Ralph Lindner

Broschur

21.69 €

Etude comparative et Amélioration des protocoles de Routage(LEACH&SEP) Rahma Gantassi

Broschur

61.49 €

Zu den Schriften Ivos bon Chartres Franz Plazidus Bliemetzrieder

Broschur

13.89 €

Contos que n?o se contam Rohrig C

Broschur

6.49 €

Jydsk Staevne: Et Aarsskrift... Jeppe Aakj R.

Broschur

23.89 €

CAPTATION AUDIOVISUELLE DES SPECTACLES VIVANTS GUILLOUX JEAN-MARIE

Broschur

33.09 €

El espia que no sabia contar Karlos San Pedro

Broschur

13.09 €

Oheň Jane Caseyová

Hardcover

11.39 €

Energie Vaclav Smil

Hardcover

16.29 €

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009.§The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques.

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 Computer Aided Verification

Autor Ahmed Bouajjani, Oded Maler

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2009

Anzahl der Seiten 722

EAN 9783642026577

ISBN 3642026575

Libristo-Code 01650024

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

Gewicht 1116

Abmessungen 155 x 235 x 40

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

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