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 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen
Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

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 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Buch binding.
common.buy 11.39 €
Google adwords CAUMONT / Buch Buch
common.buy 35.09 €
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Buch Broschur
common.buy 17.89 €
Demnächst Neu
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Buch Broschur
common.buy 7.50 €
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Buch Broschur
common.buy 35.49 €
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Buch Hardcover
common.buy 25.69 €
autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Buch Broschur
common.buy 22.89 €
MES RECETTES PRÉFÉRÉES - Cahier à remplir Foodcuis' / Buch Broschur
common.buy 14.09 €
BASICS Psychiatrie Anja Volz / Buch Broschur
common.buy 27.00 €
ARANCINI KUNST Malle Raudsepp / Buch Broschur
common.buy 34.29 €
Les cycles économiques Ferrara / Buch Broschur
common.buy 34.39 €
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / E-Book Adobe ePub DRM
common.buy 9.19 €
El caballo, cría y manejo Enzo Berner / Buch Broschur
common.buy 25.79 €
13 Gesetze der Weisheit Kim Barkmann / Buch Broschur
common.buy 16.90 €
On Opened Ground Mark-Anthony Turnage / Drucksachen Noten
common.buy 49.99 €
Citadino Mistico MOISES RODRIGUEZ / Buch Broschur
common.buy 8.69 €
Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke / Buch Broschur
common.buy 16.99 €
Geschichtsbilder Jürgen Aretz / Buch Broschur
common.buy 13.89 €
Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann / Buch Broschur
common.buy 34.90 €
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 25.69 €
Wall Street Options Strategy: Everyone Can Learn Covered Calls Dr Iris Marie Mack Phd / Buch Broschur
common.buy 10.69 €
Autobiografía de mi madre Jamaica Kincaid / Buch Broschur
common.buy 22.99 €
La Bíblia de tots Pilarín Bayés / Buch Broschur
common.buy 31.69 €
El teatro de vanguardia en Canarias. 1924-1936 Roberto Javier García de Mesa / Buch Broschur
common.buy 46.19 €

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 150.19 €
Open Heart Surgery Carlos Robinson / Buch Broschur
common.buy 18.89 €
Secure And Policy Compliant Source Routing Rahul D / Buch Broschur
common.buy 51.19 €
Roadside History Thomas H. Appleton Jr / Buch Broschur
common.buy 20.99 €
Love Scrolls Edward Theodore Hayes / Buch Hardcover
common.buy 23.59 €
Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens / Buch Broschur
common.buy 23.99 €
Sparkcharts Calculus II Sparknotes LLC / Buch Broschur
common.buy 7.19 €
Sparky the Rescue Dog Saves the Day Gail Westover / Buch Broschur
common.buy 11.59 €
Broadway Michelle Young / Buch Hardcover
common.buy 25.79 €
Manual of Prayers / Buch Hardcover
common.buy 55.09 €
Exposition of Browning's 's Ordello' David Duff / Buch Hardcover
common.buy 34.79 €
Top
Golden Kamuy, Vol. 1 Satoru Noda / Buch Broschur
common.buy 12.49 €
My Mother, The Liar Ann Troup / E-Book Adobe ePub DRM
common.buy 6.49 €
The Monastery Walter Scott / Buch Broschur
common.buy 25.69 €
War of the Seasons, Book Two: The Half-blood Janine K Spendlove / Buch Broschur
common.buy 18.19 €
Kanban: Visualize Work and Maximize Efficiency: Beyond the Basics Gary Metcalfe / Buch Broschur
common.buy 20.09 €
Weekly Self-Care Journal (Guided Journal): 52 Practices for Balance and Well-Being Katia Narain Phillips / Buch Broschur
common.buy 17.89 €
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Buch Broschur
common.buy 71.79 €
Top
Startup CEO Matt Blumberg / Buch Hardcover
common.buy 26.19 €
First Generation Student Experience Jeff Davis / Buch Broschur
common.buy 45.49 €
Abandon the Old in Tokyo Yoshihiro Tatsumi / Buch Broschur
common.buy 14.69 €
Unpublished Opinions of the Burger Court Bernard Schwartz / Buch Hardcover
common.buy 146.89 €
Authority and Markets Susan Strange / Buch Broschur
common.buy 60.39 €
Benzofurans A. Mustafa / Buch Hardcover
common.buy 602.89 €

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