Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Computer Aided Verification

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

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 05274299

Založba Springer, Berlin, november 1992

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

Koda Libristo: 05274299

118 b

48.91 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

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

Igrača

7.28 €

Maravillas de Latinoamérica Digital Polyglot

Mehka

12.85 €

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

Mehka

10.73 €

Monaco Motor Racing FREI WOLFGANG

Trda

145.23 €

Grammatica per ragazzi Mina Ricci

Mehka

21.16 €

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

Adobe ePub DRM

6.88 €

PAW Paw Patroller 3.0

Igrača

77.88 €

Just ONE more chapter - Mein Bookjournal

Trda

11.94 €

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

Mehka

62.89 €

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

Trda

15.49 €

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

21.77 €

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

Mehka

9.92 €

Das Zeugnis vom Zuspruch und Anspruch Jesu Christi Eva-Maria Schlitt

Preglednica

17.82 €

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

Mehka

15.28 €

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

Mehka

15.28 €

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

Mehka

32.81 €

1493 - 1815 Wilhelm G. Grewe

Trda

281.35 €

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

Mehka

25.11 €

Que el discreto se admire de la invención Giussani

Mehka

12.24 €

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

Mehka

17.31 €

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

Mehka

28.15 €

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

Trda

28.25 €

2084. El fin del mundo BOUALEM SANSAL

Mehka

26.02 €

L'Assommoir Emilie Zola

Mehka

34.53 €

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