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 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560845
Price: 102.78 EUR
Availability: InStock
Author: Kousha Etessami
ISBN: 9783540272311

17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Kousha Etessami

Sriram K. Rajamani

Sprache

Englisch

Buch Broschur

Libristo-Code: 01560845

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

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

Libristo-Code: 01560845

249 b

102.78 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Bombolles i tovallola MÜHLE JÖRG

Hardcover

16.65 €

Ausgewahlte Schriften des Lucian Julius Wilhelm Ewald Sommerbrodt

Broschur

20.49 €

La Teolosis y la Mujer Dr Elvin Heredia Phd

Broschur

11.70 €

Koordinationstraining im Golf Marc Müller-Dargusch

Broschur

31.29 €

A l'aube des heures fertiles Debarle

Broschur

22.91 €

Histoire des Associations familiales catholiques Michel Emmanuel

Broschur

26.85 €

Voyage au bout du monde Chang

Broschur

17.15 €

Trouble de la personnalité borderline - Pratiques thérapeutiques Stéphane Kolly

Broschur

53.20 €

POESIE IN MUSICA Biagio Di Carlo E Mara Seccia

Broschur

11.90 €

Fragiler Pluralismus Hans-Georg Soeffner

Broschur

35.83 €

Die Septuaginta - Geschichte, Wirkung, Relevanz Martin Meiser

Hardcover

352.37 €

Auslandsinvestitionen Und Wahrungsrisiken Thomas Schäfer

Broschur

42.40 €

Anordnung zur Übertragung der Zuständigkeit für den Erlass von Widerspruchsbescheiden und der Vertretung bei Klagen von Beamten des Bundesinstituts fü Antiphon Verlag

Blatt

8.98 €

Evaluación de Proyectos de Inversión Octavio Rolando Lara Martinez

Broschur

35.63 €

Teorias implicitas acerca del curriculo en profesores de secundaria Rojas Romero Jesus Gabriela

Broschur

57.74 €

Eenduisend-En-Een Grimmige Nagte Yolanda Faye Holden

Broschur

15.54 €

This book constitutes the refereed proceedings of the 17th International Conference on Computer Aided Verification, CAV 2005, held in Edinburgh, Scotland, UK in July 2005.§The 32 revised full papers presented together with 16 tool papers and 3 invited papers, as well as a report on a special tools competition were carefully reviewed and selected from 155 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

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 Kousha Etessami, Sriram K. Rajamani

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2005

Anzahl der Seiten 568

EAN 9783540272311

ISBN 3540272313

Libristo-Code 01560845

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

Gewicht 1800

Abmessungen 155 x 235 x 32

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

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

Contemporary Electroanalytical Chemistry A. Ivaska

Hardcover

205.36 €

Everyday English, Book 1: Language Lessons For Intermediate Grades (1902) Jean Sherwood Rankin

Hardcover

45.02 €

Flyleaf Volume One: 2014 Flyleaf Journal

Broschur

10.79 €

Rogues and Vagabonds George R Sims

Broschur

15.54 €

The Claverings Anthony Trollope

Broschur

17.26 €

Sexual Mountain and Black Women Writers Calvin C. Hernton

Broschur

13.92 €

Ucoa: The Biker Experience Thomas Zimmer

Broschur

58.05 €

Big Data Hai Jin

Broschur

51.59 €

The Great Boer War Arthur Conan Doyle

Broschur

20.79 €

R Programming: A Step-by-Step Guide for Absolute Beginners Daniel Bell

Broschur

14.63 €

Handbook of Essential Oils K. Husnu Can Baser

Hardcover

319.86 €

The Medicine-Men of the Apache, Volume 9... John Gregory Bourke

Broschur

20.49 €

Tibetan Terrier. Tibetan Terrier Dog Complete Owners Manual. Tibetan Terrier book for care, costs, feeding, grooming, health and training. George Hoppendale

Broschur

15.74 €