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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €
phone Kontakt phoneWie einkaufen

Computer Aided Verification

7th International Conference, CAV '95, Liege, Belgium, July 3-5, 1995. Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Computer Aided Verification Pierre Wolper
Libristo-Code: 05274476
Verlag Springer, Berlin, November 1994
This volume contains the proceedings of the 7th International Conference on Computer Aided Verificat... 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

Controla Tú Vida Comiendo Sano: Conoce la armonía de comer bien y tener control de tu vida Ivan Garcia / Buch Broschur
common.buy 7.99 €
Cronicando COUTO / Buch Broschur
common.buy 23.59 €
L'Olimpia Giambattista della Porta / Buch Hardcover
common.buy 19.90 €
notti chiare Carlotta Cubeddu / Buch Hardcover
common.buy 18.49 €
Manager pour apprendre SHOOK / Buch Broschur
common.buy 45.79 €
Le Parc Naturel Régional du Morvan à pied collegium / Buch Broschur
common.buy 22.99 €
Papiermache Figuren selbst gebaut Anke Redhead / Buch Broschur
common.buy 14.50 €
Les Fables de La Fontaine - Livre 1-2-3-4 Jean De La Fontaine / Buch Broschur
common.buy 22.79 €
Lebensversicherungsvertrage A Kaindl / Buch Broschur
common.buy 9.99 €
Der kleine Drache Kokosnuss kommt in die Schule, 1 Audio-CD Ingo Siegner / Audio Audio CD
common.buy 9.99 €
Die Kunst des Zweifelns Andreas U. Sommer / Buch Broschur
common.buy 11.29 €
Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser / Buch Broschur
common.buy 27.95 €
Panorama della letteratura italiana: Dae origini ai giorni nostri Ciro Roselli / Buch Broschur
common.buy 20.09 €
Grain EP ZS / Audio Audio CD
common.buy 18.99 €

This volume contains the proceedings of the 7th International Conference on Computer Aided Verification. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations.

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 Pierre Wolper
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1995
Anzahl der Seiten 456
EAN 9783540600459
ISBN 3540600450
Libristo-Code 05274476
Verlag Springer, Berlin
Gewicht 622
Abmessungen 156 x 234 x 23

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
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

Meat me: The end of a new beginning Sharon Ann De Jong / Buch Broschur
common.buy 13.59 €
Adaptive Coding and Modulation Romana Rafi / Buch Broschur
common.buy 53.39 €
TISSUE BANKS: IS THE FEDERAL GOVERNMENT'S OVERSIGHT ADEQUATE? United States Congress Senate Committee / Buch Broschur
common.buy 28.69 €
Science of Mother-Infant Sleep: Current Findings on Bedsharing, Breastfeeding, Sleep Training, and Normal Infant Sleep Wendy Middlemiss / Buch Broschur
common.buy 16.29 €
Psychotraumatology George S. Everly Jr. / Buch Broschur
common.buy 214.29 €
Blake's Reading Log Martha Day Zschock / Buch Broschur
common.buy 8.79 €
Jane Butel's Simply Southwestern Jane Butel / Buch Hardcover
common.buy 28.19 €
Advances in Systems Biology Igor Goryanin / Buch Broschur
common.buy 214.29 €
My First Encyclopedia of Trees (giant Size) Richard McGinlay / Buch Broschur
common.buy 5.89 €
Easy Ukulele Songs Rebecca Bogart / Buch Broschur
common.buy 10.69 €
Farmer's Magazine Anonymous / Buch Hardcover
common.buy 41.59 €
World's Divide Books 1-4 Collection Ryan Eugene Hartung / Buch Broschur
common.buy 13.39 €
Sacred Hymns and Spiritual Songs Anonym / Buch Broschur
common.buy 29.89 €
5-Minute Bible Study for Women Emily Biggers / Buch Broschur
common.buy 6.59 €
The Administration Of Iowa: A Study In Centralization, Issues 46-48 Harold Martin Bowman / Buch Broschur
common.buy 35.79 €
Theory and New Applications of Swarm Intelligence Rafael Parpinelli / Buch Hardcover
common.buy 119.99 €
Now You Know Royalty Doug Lennox / E-Book Adobe ePub DRM
common.buy 5.89 €
I Am A Key Larry Odell Johnson / Buch Broschur
common.buy 13.19 €
Metropolitan Poor Vol 5 Masaie Matsumura / Buch Hardcover
common.buy 150.79 €
Diffusion and Use of Genomic Innovations in Health and Medicine Roundtable on Translating Genomic-Based Research for Health / Buch Broschur
common.buy 62.29 €
Crisis of Gender and the Nation in Korean Literature and Cinema Kelly Y. Jeong / Buch Hardcover
common.buy 131.89 €
Perspectives on U.S. Policy Toward North Korea Sharon Richardson / Buch Broschur
common.buy 66.09 €
Archive Stories Antoinette Burton / Buch Hardcover
common.buy 144.39 €
Control of Uncertain Systems: Modelling, Approximation, and Design Bruce A. Francis / Buch Broschur
common.buy 160.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
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?