Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Computer Aided Verification

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 05274299

Casa editrice Springer, Berlin, novembre 1992

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

Codice Libristo: 05274299

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

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

Giocattolo

8.59 €

Maravillas de Latinoamérica Digital Polyglot

In brossura

13.99 €

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

In brossura

11.89 €

Monaco Motor Racing FREI WOLFGANG

Rigido

161.29 €

Grammatica per ragazzi Mina Ricci

In brossura

23.89 €

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

Adobe ePub DRM

7.99 €

PAW Paw Patroller 3.0

Giocattolo

91.19 €

Just ONE more chapter - Mein Bookjournal

Rigido

13.39 €

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

In brossura

69.79 €

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

Rigido

18.29 €

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

25.09 €

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

In brossura

11.49 €

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

In brossura

16.89 €

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

In brossura

16.89 €

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

In brossura

36.49 €

1493 - 1815 Wilhelm G. Grewe

Rigido

308.59 €

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

In brossura

27.09 €

Que el discreto se admire de la invención Giussani

In brossura

13.29 €

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

In brossura

18.79 €

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

In brossura

30.59 €

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

Rigido

31.89 €

2084. El fin del mundo BOUALEM SANSAL

In brossura

27.89 €

L'Assommoir Emilie Zola

In brossura

37.39 €

Premiere Chasse de Jujules Et Son Lendemain Hetzel-P-J

In brossura

15.09 €

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