Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 05274299
Price: 51.62 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

Language

English

Book Paperback

Libristo code: 05274299

Publishers Springer, Berlin, November 1992

This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), h... Full description

Libristo code: 05274299

125 b

51.62 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

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

Toy

8.17 €

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

Adobe ePub DRM

7.67 €

Monaco Motor Racing FREI WOLFGANG

Hardback

153.96 €

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

Paperback

12.01 €

Grammatica per ragazzi Mina Ricci

Paperback

23.13 €

Maravillas de Latinoamérica Digital Polyglot

Paperback

13.43 €

Учебник логики Георгий Челпанов

Hardback

17.47 €

SIS (Soft Is Strong) - Strong Ver. Katseye

Audio CD

31.71 €

Just ONE more chapter - Mein Bookjournal

Hardback

12.72 €

PAW Paw Patroller 3.0

Toy

87.28 €

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

Paperback

11.00 €

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

Paperback

66.57 €

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

24.14 €

Ausbau des Steuerwesens. Finanzpolitik unter Philipp dem Grossmutigen. Lutz Benseler

Paperback

16.16 €

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

Paperback

16.16 €

Kdyně Bohuslav Balcar

Paperback

3.63 €

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

Paperback

34.85 €

1493 - 1815 Wilhelm G. Grewe

Hardback

296.22 €

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

Paperback

26.16 €

Que el discreto se admire de la invención Giussani

Paperback

13.43 €

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

Paperback

18.98 €

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

Paperback

30.91 €

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

Hardback

30.91 €

2084. El fin del mundo BOUALEM SANSAL

Paperback

28.18 €

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)".