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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.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: 01656210
Price: 99.19 EUR
Availability: InStock
Author: Tayssir Touili
ISBN: 9783642142949

22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Tayssir Touili

Byron Cook

Paul Jackson

Sprache

Englisch

Buch Broschur

Libristo-Code: 01656210

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

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

Libristo-Code: 01656210

243 b

99.19 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

El Banco Mundial, el Fondo Monetario Internacional y los derechos humanos María Eugenia López-Jacoiste Díaz

Broschur

45.59 €

Plastic Hearts Miley Cyrus

Audio CD

18.99 €

Luoghi e itinerari della riviera del Brenta e del Miranese

Broschur

15.99 €

Harry Potter és a Félvér Herceg - Hollóhátas Joanne K. Rowling

Hardcover

19.69 €

A Business Proposal n? 03 Narak

Broschur

16.69 €

Flockies Krokodýl Camila - sběratelská figurka 5 cm

Spielzeug

3.89 €

Vitametrie® Joachim Heuser

Broschur

15.99 €

REVISTA MONGOLIA 40 ENERO 2016 Buch

binding.

3.89 €

Julian Assange, De la ética hacker a Wikileaks Gianluca Costantini

Broschur

15.29 €

Všetko o kúpeľni collegium

Broschur

2.79 €

Personalabrechnung Auf Den Punkt Marianne Kiepe

Broschur

79.99 €

Neue Briefe Wilhelm Von Humboldts an Schiller 1796-1803 Wilhelm von Humboldt

Broschur

44.90 €

Hermann von Salza Heinrich Hävernick

Broschur

24.90 €

Borkum einst und jetzt B. Huismann

Broschur

17.90 €

Ein Verfahren zur reportbasierten Diagnose von technischen Maschinenstörungen in der Instandhaltung Walter Wincheringer

Broschur

54.99 €

Israel Gerrit Michel

Broschur

49.00 €

Oekonomische Analyse Der Religion Christian Eilinghoff

Broschur

73.25 €

Orta in giallo Erica Gibogini

Broschur

14.29 €

El origen de la célula Lynn Margulis

Broschur

16.29 €

Mil trece ejercicios y juegos aplicados al balonmano Ponz Callen

Broschur

38.99 €

Cesta k rovnováze Pavel Kohout

Broschur

5.49 €

Aktuátorok modellezése és diagnosztikája mesterséges intelligenciával Viktor Füvesi

Broschur

160.89 €

Macrobiotica Zen: El arte del rejuvenecimiento y de la longevidad Georges Ohsawa

Broschur

12.39 €

Inklusive Schule und Vielfalt Gottfried Biewer

Broschur

25.00 €

This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. The 34 revised full papers presented together with 17 tool papers, 4 invited talks and 3 invited tutorials were carefully reviewed and selected from 101 regular paper and 44 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for hardware and software systems. They are organized in topical sections on software model checking; model checking and automata; tools; counter and hybrid systems verification; memory consistency; verification of hardware and low level code; synthesis; concurrent program verification; compositional reasoning; and decision procedures.

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 Tayssir Touili, Byron Cook, Paul Jackson

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 676

EAN 9783642142949

ISBN 364214294X

Libristo-Code 01656210

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

Gewicht 961

Abmessungen 155 x 238 x 28

Kategorie

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

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

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 > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen

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

Speech Prosody in Speech Synthesis: Modeling and generation of prosody for high quality and flexible speech synthesis Keikichi Hirose

Hardcover

99.79 €

Spatial Analysis and GeoComputation Manfred M. Fischer

Broschur

90.79 €

Research in Computational Molecular Biology Benny Chor

Broschur

47.99 €

Early Bicycles and the Quest for Speed Andrew Ritchie

Broschur

38.09 €

It's Only Me John Underwood

Adobe ePub DRM

20.49 €

Vtt Example Joint Author

Broschur

15.99 €

BAROQUE SPIRIT THE BOOK 1 NANCY EDITO BACHUS

Broschur

12.49 €

Euro-Orientalism Ezequiel Adamovsky

Broschur

79.29 €

French Food At Home Laura Calder

Broschur

12.69 €

Golden Chain Algis Uzdavinys

Adobe ePub DRM

10.79 €

100 Things Bills Fans Should Know & Do Before They Die Jeffrey J. Miller

Adobe ePub DRM

10.79 €

Pale Horse Rider Mark Jacobson

Adobe ePub DRM

15.49 €

Researches on Increasing the Performances of Renewable Energy Sources Petru Livinti

Broschur

18.79 €

Laparoscopic Colorectal Surgery Mark Coleman

Hardcover

260.29 €

Finishers' Manual - Containing the Receipts of an Expert for Finishing the Bottoms of Boots and Shoe, as Well as Other Valuable Information E. T. Thayer

Broschur

14.19 €