Над 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: 05274322
Price: 54.51 EUR
Availability: InStock
Author: Costas Courcoubetis
ISBN: 9783540569220

5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings

Costas Courcoubetis

Език

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

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

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

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

This volume contains the proceedings of the Fifth Conference§on Computer-Aided Verfication, held in... Цялото описание

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

132 b

54.51 €

106.61 лв

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

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

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

LiteraNova - Unterrichtsmodelle mit Kopiervorlagen Thomas Brussig

С меки корици

23.36 € 45.70 лв

Poď sa so mnou hrať Nadine Reitzová Sophie

Книга

8.03 € 15.70 лв

CTG-Praxis Stephan Schmidt

С меки корици

35.02 € 68.50 лв

Sketchnotes - Sketchnotes als Lerntechnik Jutta Korth

С меки корици

20.15 € 39.41 лв

Ať se rozhodneš jakkoli Jakub Szamalek

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

20.15 € 39.41 лв

Klasická teoretická fyzika Igor Jex

С меки корици

14.87 € 29.08 лв

Španělská občanská válka 1936-1939 Книга

С меки корици

6.42 € 12.56 лв

Neobyčejné těstoviny collegium

С меки корици

6.78 € 13.27 лв

This volume contains the proceedings of the Fifth Conference§on Computer-Aided Verfication, held in Crete, Greece, in§June/July 1993.§The objective of the CAV conferences is to bring together§researchers and practitioners interested in the development§anduse of methods, tools, and theories for the§computer-aided verification of concurrent systems. The§conferences provide an opportunity for comparing various§verfication methods and tools that can be used to assist the§applications designer. Emphasis is placed on new research§results and the application of existing methods to real§verification problems.§The volume contains abstracts of three invited lectures and§full versions of 37 contributed papers selected from 84§submissions.The contributions are grouped into sections on§hardware verification with BDDs, methods and tools, theorem§proving, analysis of real-time systems, process algebras and§calculi, partial orders, and exploiting symmetry.