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: 01656210
Price: 120.92 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

120.92 €

Externes Lager Wir versenden in 9-15 Tagen

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Plastic Hearts Miley Cyrus

Audio CD

15.39 €

Ravensburger 24578 - Mystery Cube - Wunder der Welt: Sphinx- Für Rätsel-Begeisterte ab 10 Jahren

Spiel

6.37 €

Orta in giallo Erica Gibogini

Broschur

14.47 €

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

Spielzeug

4.85 €

Vitametrie® Joachim Heuser

Broschur

17.01 €

A Business Proposal n? 03 Narak

Broschur

18.83 €

Inklusive Schule und Vielfalt Gottfried Biewer

Broschur

22.47 €

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

Broschur

15.59 €

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

Broschur

46.38 €

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

Broschur

56.51 €

Mil trece ejercicios y juegos aplicados al balonmano Ponz Callen

Broschur

48.20 €

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

Broschur

19.03 €

Israel Gerrit Michel

Broschur

50.02 €

Borkum einst und jetzt B. Huismann

Broschur

16.20 €

Hermann von Salza Heinrich Hävernick

Broschur

22.37 €

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

Broschur

40.20 €

Personalabrechnung Auf Den Punkt Marianne Kiepe

Broschur

75.45 €

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

103.10 €

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

Hardcover

113.43 €

Far Pavilions M. M. Kaye

Broschur

18.12 €

C++ Reactive Programming Peter Abraham

Broschur

52.05 €

More Than a Great Wedding 2: Creating Healthy Communities Where Relationships Thrive Daryl L Smith

Broschur

9.00 €

Early Bicycles and the Quest for Speed Andrew Ritchie

Broschur

47.19 €

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

18.02 €