Над 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: 01568801
Price: 54.47 EUR
Availability: InStock
Author: Werner Damm
ISBN: 9783540733676

19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Werner Damm

Holger Hermanns

Език

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

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

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

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

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

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

132 b

54.47 €

106.54 лв

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

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

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

39-поверховий будинок на деревi Andy Griffiths

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

13.82 € 27.03 лв

Puzzle Zábava na pláži

Пъзел

4.50 € 8.80 лв

Újszövetség - Zsoltárok Könyve

binding.

7.35 € 14.37 лв

Sojusze. Thorgal Kriss de Valnor. Tom 4 wyd. 2023 Giulio De Vita

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

11.65 € 22.78 лв

Georges Bernanos, la colère et la grâce François Angelier

С меки корици

32.41 € 63.39 лв

Effetto della Passiflora Incarnata 6c sull'ansia Agustin Antonio Corona Zavala

С меки корици

37.80 € 73.93 лв

LA DECONSTRUCTION EXISTENTIELLE MICHEL ONFRAY Книга

binding.

38.42 € 75.14 лв

Le carnet de Laurent - Petits carreaux, 96p, A5 - Graffiti

Тефтер

11.34 € 22.17 лв

Sturmhöhe Grete Rambach

С меки корици

13.46 € 26.32 лв

FINANZAS PARA CHICAS CON PRISAS GERONIMO

С меки корици

14.13 € 27.64 лв

Severská mytologie II.-III. Neil Gaiman

Лист

38.01 € 74.33 лв

Diabetes v tabulkách Tomáš Edelsberger

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

29.98 € 58.63 лв

Robinson Crusoe Daniel Defoe

Adobe ePub DRM

4.86 € 9.51 лв

Giorni di guerra. Russia e Ucraina, il mondo a pezzi Toni Capuozzo

С меки корици

18.22 € 35.64 лв

Die globale Perspektive Lower Class Magazine

С меки корици

22.88 € 44.76 лв

Bohdan Lacina Jiří Hlušička

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

65.04 € 127.20 лв

Adelige Moderne Tatjana Tönsmeyer

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

87.51 € 171.16 лв

Ostasien bis 1800 Dieter Kuhn

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

27.49 € 53.77 лв

Sprache und Literatur (Allgemeines zur Literatur des 2. Jahrhunderts und einzelne Autoren der trajanischen und fruhhadrianischen Zeit [Forts.]) Wolfgang Haase

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

543.38 € 1 062.76 лв

Controlling in der mittelständischen österreichischen Hotellerie Markus Starek

С меки корици

72.60 € 141.99 лв

Borůvková kuchařka Jaroslav Vašák

С меки корици

5.23 € 10.22 лв

Les dispositifs de protection solaire Salma Gharbi

С меки корици

94.19 € 184.23 лв

Propri t s Morphologiques de Nanocomposites Maxime Moreaud

С меки корици

65.19 € 127.51 лв

Alpenrosen aus den Dolomiten die Ladiner

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

18.79 € 36.76 лв

This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification, CAV 2007, held in Berlin, Germany July 2007 in conjunction with the 14th Workshop on Model Checking Software, SPIN 2007.§The 33 revised full papers presented together with 14 tool papers and 3 invited papers and 4 invited tutorials were carefully reviewed and selected from 134 regular paper and 39 tool paper submissions. All current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems are addressed. The papers are organized in topical sections on compositionality, verification process, timed synthesis and games, inifinite state verification, tool environments, shapes, concurrent programm verification, reactive designs, parallelisation, constraints and decisions, probabilistic verification, abstraction, assume-guarantee reasoning, hybrid systems, program analysis, as well as SAT and decision procedures.