Над 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: 01650024
Price: 108.67 EUR
Availability: InStock
Author: Ahmed Bouajjani
ISBN: 9783642026577

21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Ahmed Bouajjani

Oded Maler

Език

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

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

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

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 2009

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aide... Цялото описание

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

263 b

108.67 €

212.54 лв

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

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

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

BMG - Bundesmeldegesetz (Deutschland) 2026 Gesetze24 Deutschland

С меки корици

11.59 € 22.67 лв

Energie Vaclav Smil

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

16.51 € 32.29 лв

Oheň Jane Caseyová

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

11.33 € 22.17 лв

El espia que no sabia contar Karlos San Pedro

С меки корици

12.47 € 24.39 лв

CAPTATION AUDIOVISUELLE DES SPECTACLES VIVANTS GUILLOUX JEAN-MARIE

С меки корици

29.61 € 57.91 лв

Jydsk Staevne: Et Aarsskrift... Jeppe Aakj R.

С меки корици

23.14 € 45.25 лв

Contos que n?o se contam Rohrig C

С меки корици

6.21 € 12.14 лв

Zu den Schriften Ivos bon Chartres Franz Plazidus Bliemetzrieder

С меки корици

14.03 € 27.43 лв

Klekání Francis Jammes

Лист

8.74 € 17.10 лв

Modernes Sachsen Ralph Lindner

С меки корици

21.90 € 42.82 лв

Die Evolution vom Gesichtspunkte des Wahrhaftigen Rudolf Steiner

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

32.25 € 63.08 лв

Cómo estudiar 2. Ejercicios prácticos Antonio Vallés Arándiga

С меки корици

15.58 € 30.47 лв

Podstawy ekonomii Podrecznik Janina Mierzejewska-Majcherek

С меки корици

11.18 € 21.86 лв

Etude comparative et Amélioration des protocoles de Routage(LEACH&SEP) Rahma Gantassi

С меки корици

62.23 € 121.71 лв

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009.§The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques.