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 € 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, Berlin
SKU: 05274969
Price: 53.79 EUR
Availability: InStock
Author: Nicolas Halbwachs
ISBN: 9783540662020

11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings

Nicolas Halbwachs

Doron Peled

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274969

Verlag Springer, Berlin, November 1998

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

Libristo-Code: 05274969

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Neurodermitis bewältigen Ulrich Stangier

Broschur

54.99 €

Un nuevo comienzo Joel Osteen

Broschur

17.89 €

Byłam kochanką arabskich szejków Laila Shukri

Broschur

10.29 €

Conférences sur le rideau de Mme Caudle Douglas Jerrold

Broschur

17.59 €

No me llames loca Girona

MP3

11.69 €

MEGA MALBUCH - 300 SEITEN MIT TOLLEN MOTIVEN - SUPER EINFACH ZEICHNEN LERNEN UND ÜBEN - MIT EINIGEN FARBVORLAGEN Gabriele André

Broschur

29.90 €

Necesidades energéticas y propuestas de instalaciones solares Bernabé Jiménez Padilla

Broschur

36.29 €

La obra gruesa : unos apuntes de construcción Mañá Reixach

Broschur

32.39 €

Herbst David Moody

Broschur

15.79 €

Uglavnom su me voljele starije gospođe Aleksandar Stanković

Hardcover

14.89 €

Физико-химические основы развития и тушения пожаров. Учебное пособие Владимир Адамян

Hardcover

32.69 €

Столетняя война Э. Перруа

Hardcover

32.69 €

Diccionario de la lengua española

Broschur

10.59 €

SOUL BOSSANOVA CONCERT BAND/HARMONIE -PARTITION+PARTIES SEPAREES QUINCY JONES Buch

binding.

182.39 €

Aycha ou Le retour d'Elle - roman Haggard Buch

Broschur

25.49 €

Camden Town - Allgemeine Ausgabe 2012 für Gymnasien. Bd.3

Blatt

10.39 €

Schottische Hochlandrinder bei de Bollekammer (Puzzle) Elke Krone

Spiel

46.89 €

Compraventa y La Permuta Agrarias y Rusticas David Bernardo López Lluch

Broschur

27.19 €

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.

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 Nicolas Halbwachs, Doron Peled

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1999

Anzahl der Seiten 506

EAN 9783540662020

ISBN 3540662022

Libristo-Code 05274969

Verlag Springer, Berlin

Gewicht 670

Abmessungen 156 x 234 x 26

Kategorie

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