Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
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 €
phone Kontakt phoneWie einkaufen

Computer Aided Verification

6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Computer Aided Verification David L. Dill
Libristo-Code: 05274394
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 1994
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at S... Vollständige Beschreibung
? points 125 b
51.75 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Buch binding.
common.buy 11.03 €
Google adwords CAUMONT / Buch Buch
common.buy 34.12 €
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Buch Broschur
common.buy 17.21 €
Demnächst Neu
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Buch Broschur
common.buy 6.98 €
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Buch Broschur
common.buy 33.92 €
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Buch Hardcover
common.buy 24.80 €
autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Buch Broschur
common.buy 22.07 €
MES RECETTES PRÉFÉRÉES - Cahier à remplir Foodcuis' / Buch Broschur
common.buy 13.66 €
BASICS Psychiatrie Anja Volz / Buch Broschur
common.buy 25.72 €
ARANCINI KUNST Malle Raudsepp / Buch Broschur
common.buy 34.73 €
Les cycles économiques Ferrara / Buch Broschur
common.buy 33.31 €
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / E-Book Adobe ePub DRM
common.buy 8.80 €
El caballo, cría y manejo Enzo Berner / Buch Broschur
common.buy 24.91 €
13 Gesetze der Weisheit Kim Barkmann / Buch Broschur
common.buy 15.28 €
On Opened Ground Mark-Anthony Turnage / Drucksachen Noten
common.buy 48.50 €
Citadino Mistico MOISES RODRIGUEZ / Buch Broschur
common.buy 8.80 €
Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke / Buch Broschur
common.buy 15.39 €
Geschichtsbilder Jürgen Aretz / Buch Broschur
common.buy 13.36 €
Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann / Buch Broschur
common.buy 31.29 €
Historia del mundo en el siglo XX : a través de las grandes biografías, novelas y películas Onésimo Díaz Hernández / Buch Broschur
common.buy 24.91 €
Wall Street Options Strategy: Everyone Can Learn Covered Calls Dr Iris Marie Mack Phd / Buch Broschur
common.buy 10.83 €
Autobiografía de mi madre Jamaica Kincaid / Buch Broschur
common.buy 22.27 €
La Bíblia de tots Pilarín Bayés / Buch Broschur
common.buy 30.78 €
El teatro de vanguardia en Canarias. 1924-1936 Roberto Javier García de Mesa / Buch Broschur
common.buy 45.06 €

This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
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 David L. Dill
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1994
Anzahl der Seiten 486
EAN 9783540581796
ISBN 3540581790
Libristo-Code 05274394
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1520
Abmessungen 155 x 235 x 26

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik
EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware
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

Das könnte Sie auch interessieren

Topology Optimization Martin Ph. Bendsoe / Buch Broschur
common.buy 144.22 €
Open Heart Surgery Carlos Robinson / Buch Broschur
common.buy 19.13 €
Secure And Policy Compliant Source Routing Rahul D / Buch Broschur
common.buy 49.01 €
Roadside History Thomas H. Appleton Jr / Buch Broschur
common.buy 21.26 €
Love Scrolls Edward Theodore Hayes / Buch Hardcover
common.buy 23.89 €
Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens / Buch Broschur
common.buy 24.30 €
Sparkcharts Calculus II Sparknotes LLC / Buch Broschur
common.buy 6.78 €
Sparky the Rescue Dog Saves the Day Gail Westover / Buch Broschur
common.buy 11.74 €
Broadway Michelle Young / Buch Hardcover
common.buy 26.12 €
Manual of Prayers / Buch Hardcover
common.buy 55.80 €
Exposition of Browning's 's Ordello' David Duff / Buch Hardcover
common.buy 35.24 €
Top
Golden Kamuy, Vol. 1 Satoru Noda / Buch Broschur
common.buy 11.84 €
My Mother, The Liar Ann Troup / E-Book Adobe ePub DRM
common.buy 6.17 €
The Monastery Walter Scott / Buch Broschur
common.buy 26.02 €
War of the Seasons, Book Two: The Half-blood Janine K Spendlove / Buch Broschur
common.buy 18.42 €
Kanban: Visualize Work and Maximize Efficiency: Beyond the Basics Gary Metcalfe / Buch Broschur
common.buy 20.35 €
Weekly Self-Care Journal (Guided Journal): 52 Practices for Balance and Well-Being Katia Narain Phillips / Buch Broschur
common.buy 17.21 €
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Buch Broschur
common.buy 69.27 €
Top
Startup CEO Matt Blumberg / Buch Hardcover
common.buy 25.01 €
First Generation Student Experience Jeff Davis / Buch Broschur
common.buy 46.07 €
Abandon the Old in Tokyo Yoshihiro Tatsumi / Buch Broschur
common.buy 14.07 €
Unpublished Opinions of the Burger Court Bernard Schwartz / Buch Hardcover
common.buy 148.77 €
Authority and Markets Susan Strange / Buch Broschur
common.buy 58.53 €
Benzofurans A. Mustafa / Buch Hardcover
common.buy 610.62 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?