Над 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-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05274206
Price: 54.47 EUR
Availability: InStock
Author: Edmund M. Clarke
ISBN: 9783540544777

2nd International Conference CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

Edmund M. Clarke

Robert P. Kurshan

Език

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

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

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

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, октомври 1991

This volume contains the proceedings of the second workshop on Computer Aided Verification, held at... Цялото описание

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

132 b

54.47 €

106.54 лв

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

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

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

Missions Archeologiques Francaises En Orient Aux Xviie Et Xviiie Siecles. Partie 1 Henri Omont

С меки корици

40.18 € 78.59 лв

Die Wirkung von Gleichstrom bei hoher Spannung Sridhar Goud Arelli

С меки корици

37.80 € 73.93 лв

Dvůr vysoko v horách A. K. Mulford

С меки корици

15.53 € 30.37 лв

Viva la Vagina! Nina Brochmann

Adobe ePub DRM

14.96 € 29.26 лв

Posviť si na to Vesmír - Knížka s baterkou

Със спирала

15.12 € 29.56 лв

Constellations et poèmes concrets Eugen Gomringer

С меки корици

27.60 € 53.97 лв

Cizgilerle Psikoloji

С меки корици

20.14 € 39.39 лв

Somewhere In Time (2015 Remaster) Iron Maiden

Аудио компактдиск

15.17 € 29.67 лв

Etude Sur La Marche Et Les Causes de l'Epidemie de Fievre Typhoide Qui a Regne A Macon En 1881 ""

С меки корици

14.60 € 28.55 лв

Den Himmel noch einmal seh'n Karin Wegner

С меки корици

10.61 € 20.75 лв

This volume contains the proceedings of the second workshop on Computer Aided Verification, held at DIMACS, RutgersUniversity, June 18-21, 1990. It features theoretical results that lead to new or more powerful verification methods. Among these are advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations and proof-checking in controller verification. The motivation for holding a workshop oncomputer aided verification was to bring together work on effective algorithms or methodologies for formal verification - as distinguished, say, from attributes of logics or formal languages. The considerable interest generated by the first workshop, held in Grenoble, June 1989 (see LNCS 407), prompted this second meeting. The general focus of this volume is on the problem of making formal verification feasible for various models of computation. Specific emphasis is on models associated with distributed programs, protocols, and digital circuits. The general test of algorithm feasibility is to embed it into a verification tool, and exercise that tool on realistic examples: the workshop included sessions for the demonstration of new verification tools.