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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 05274299
Price: 45.49 EUR
Availability: InStock
Author: Gregor von Bochmann
ISBN: 9783540564966

Fourth International Workshop CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings

Gregor von Bochmann

David K. Probst

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274299

Verlag Springer, Berlin, November 1992

This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), h... Vollständige Beschreibung

Libristo-Code: 05274299

111 b

45.49 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Taška nákupní skládací 50x42cm "Miluj a žij" Sri Chinmoy

Spielzeug

6.79 €

Monaco Motor Racing FREI WOLFGANG

Hardcover

148.00 €

Maravillas de Latinoamérica Digital Polyglot

Broschur

13.89 €

L'Oracle de la Destinée - Votre guide magique pour un meilleur avenir Lucy Cavendish

Hardcover

25.09 €

Grammatica per ragazzi Mina Ricci

Broschur

18.79 €

K VOPROSU O POVEDENII GEODEZIChESKIH NA GIPERBOLIChESKIH MNOGOOBRAZIYaH Vladimir Vasil'ewich Balkan

Broschur

58.19 €

De dioses a demonios : la demonización de los dioses prehispánicos en el arte indígena cristiano Jose Luis Perez Flores

Adobe ePub DRM

20.39 €

L'islam - punition ou salut..? Bernd Michael Grosch

Broschur

9.19 €

PAW Paw Patroller 3.0

Spielzeug

69.99 €

Just ONE more chapter - Mein Bookjournal

Hardcover

15.00 €

SIS (Soft Is Strong) - Strong Ver. Katseye

Audio CD

28.99 €

Groß werden mit den Schlümpfen: Der Schlumpf, der nicht nett war Peyo

Adobe ePub DRM

6.49 €

DISNEY. 5 MINUTOS PARA SOÑAR. GRANDES CLÁSICOS Disney

Broschur

10.59 €

Homosexualitat in der Einwanderungsgesellschaft. Ein Clash of Cultures? Nelson Muller

Broschur

17.95 €

Kdyně Bohuslav Balcar

Broschur

3.19 €

Pachelbel, Johann - Kanon und Gigue D-dur für drei Violinen und Basso continuo Johann Pachelbel

Noten

22.00 €

Laboratorio Virtual En Apoyo a la Habilidad Ensamblar Computadoras Leomelys López

Broschur

30.39 €

1493 - 1815 Wilhelm G. Grewe

Hardcover

299.00 €

Histoire de la Vie Et Des Ouvrages de Francois Bacon. T. 2 Jean-Baptiste De Vauzelles

Broschur

21.49 €

Que el discreto se admire de la invención Giussani

Broschur

10.89 €

Psicología del género : implicaciones en la vida cotidiana María Pilar . . . [et al. ] Matud Aznar

Broschur

15.39 €

Atención y gestión de llamadas entrantes en un servicio de teleasistencia : optimización del servicio al usuario JESSICA ANDRES SENDRA

Broschur

24.99 €

Treffpunkt. Deutsch als Zweitsprache in Alltag & Beruf A1. Gesamtband - Kursbuch Friederike Jin

Broschur

19.99 €

2084. El fin del mundo BOUALEM SANSAL

Broschur

24.39 €

This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. The workshops provide an opportunity for comparing various verification methods and practical tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing results to real verification problems.The volume contains 31 papers selected from 75 submissions.These are organized into parts on reduction techniques, proof checking, symbolic verification, timing verification, partial-order approaches, case studies, model and proofchecking, and other approaches. The volume starts with an invited lecture by Leslie Lamport entitled "Computer-hindered verification (humans can do it too)".

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 Gregor von Bochmann, David K. Probst

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1993

Anzahl der Seiten 426

EAN 9783540564966

ISBN 3540564969

Libristo-Code 05274299

Verlag Springer, Berlin

Gewicht 574

Abmessungen 155 x 233 x 22

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

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