Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Computer Aided Verification

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

Език

Английски език

Книга С меки корици

Код Либристо: 05274299

Издателство Springer, Berlin, ноември 1992

This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), h... Цялото описание

Код Либристо: 05274299

132 b

54.47 €

106.54 лв

Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

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

Играчка

8.69 € 17.01 лв

Maravillas de Latinoamérica Digital Polyglot

С меки корици

13.51 € 26.42 лв

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

С меки корици

12.73 € 24.91 лв

Monaco Motor Racing FREI WOLFGANG

С твърди корици

163.38 € 319.54 лв

Grammatica per ragazzi Mina Ricci

С меки корици

24.18 € 47.29 лв

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

Adobe ePub DRM

8.07 € 15.79 лв

PAW Paw Patroller 3.0

Играчка

92.38 € 180.68 лв

Just ONE more chapter - Mein Bookjournal

С твърди корици

13.56 € 26.53 лв

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

С меки корици

70.68 € 138.24 лв

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

С твърди корици

18.48 € 36.15 лв

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.42 € 49.72 лв

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

С меки корици

11.65 € 22.78 лв

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

С меки корици

17.14 € 33.51 лв

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

С меки корици

17.14 € 33.51 лв

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

С меки корици

36.97 € 72.31 лв

1493 - 1815 Wilhelm G. Grewe

С твърди корици

312.57 € 611.34 лв

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

С меки корици

26.25 € 51.34 лв

Que el discreto se admire de la invención Giussani

С меки корици

13.98 € 27.34 лв

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

С меки корици

19.93 € 38.98 лв

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

С меки корици

32.36 € 63.29 лв

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

С твърди корици

32.26 € 63.09 лв

2084. El fin del mundo BOUALEM SANSAL

С меки корици

29.36 € 57.42 лв

L'Assommoir Emilie Zola

С меки корици

36.19 € 70.79 лв

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

С меки корици

14.60 € 28.55 лв

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