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 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.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: 01656210
Price: 119.39 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

292 b

119.39 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Vitametrie® Joachim Heuser

Broschur

17.69 €

Inklusive Schule und Vielfalt Gottfried Biewer

Broschur

25.00 €

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

Broschur

44.90 €

Personalabrechnung Auf Den Punkt Marianne Kiepe

Broschur

79.99 €

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

Spielzeug

4.49 €

A Business Proposal n? 03 Narak

Broschur

18.59 €

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

Hardcover

25.09 €

Plastic Hearts Miley Cyrus

Audio CD

18.99 €

Hermann von Salza Heinrich Hävernick

Broschur

24.90 €

Orta in giallo Erica Gibogini

Broschur

14.29 €

Borkum einst und jetzt B. Huismann

Broschur

17.90 €

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

Broschur

15.39 €

Israel Gerrit Michel

Broschur

51.99 €

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

Broschur

48.49 €

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

Broschur

58.19 €

Mil trece ejercicios y juegos aplicados al balonmano Ponz Callen

Broschur

49.59 €

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

Broschur

19.49 €

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

Spatial Analysis and GeoComputation Manfred M. Fischer

Broschur

107.29 €

Research in Computational Molecular Biology Benny Chor

Broschur

59.39 €

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

Hardcover

117.99 €

Researches on Increasing the Performances of Renewable Energy Sources Petru Livinti

Broschur

22.49 €

Laparoscopic Colorectal Surgery Mark Coleman

Hardcover

303.69 €

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

17.79 €