Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 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 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Computer Aided Verification

22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Computer Aided Verification Tayssir Touili
Код Либристо: 01656210
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 2010
This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aide... Цялото описание
? points 280 b
115.74 €
226.37  лв
Външен склад Изпращаме след 14-21 дни

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

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

Vitametrie® Joachim Heuser / Книга С меки корици
common.buy 17.85 € 34.90 лв
Inklusive Schule und Vielfalt Gottfried Biewer / Книга С меки корици
common.buy 23.74 € 46.44 лв
Neue Briefe Wilhelm Von Humboldts an Schiller 1796-1803 Wilhelm von Humboldt / Книга С меки корици
common.buy 42.48 € 83.07 лв
Personalabrechnung Auf Den Punkt Marianne Kiepe / Книга С меки корици
common.buy 79.58 € 155.64 лв
Flockies Krokodýl Camila - sběratelská figurka 5 cm / Игра/играчка Играчка
common.buy 4.55 € 8.90 лв
A Business Proposal n? 03 Narak / Книга С меки корици
common.buy 19.86 € 38.85 лв
Harry Potter és a Félvér Herceg - Hollóhátas Joanne K. Rowling / Книга С твърди корици
common.buy 25.40 € 49.68 лв
Top
Plastic Hearts Miley Cyrus / Аудио Аудио компактдиск
common.buy 16.14 € 31.56 лв
Hermann von Salza Heinrich Hävernick / Книга С меки корици
common.buy 23.69 € 46.34 лв
Orta in giallo Erica Gibogini / Книга С меки корици
common.buy 13.71 € 26.81 лв
Borkum einst und jetzt B. Huismann / Книга С меки корици
common.buy 17.12 € 33.49 лв
Macrobiotica Zen: El arte del rejuvenecimiento y de la longevidad Georges Ohsawa / Книга С меки корици
common.buy 14.79 € 28.93 лв
Israel Gerrit Michel / Книга С меки корици
common.buy 52.57 € 102.81 лв
Aktuátorok modellezése és diagnosztikája mesterséges intelligenciával Viktor Füvesi / Книга С меки корици
common.buy 49.10 € 96.03 лв
El Banco Mundial, el Fondo Monetario Internacional y los derechos humanos María Eugenia López-Jacoiste Díaz / Книга С меки корици
common.buy 51.22 € 100.18 лв
Mil trece ejercicios y juegos aplicados al balonmano Ponz Callen / Книга С меки корици
common.buy 43.77 € 85.61 лв
Julian Assange, De la ética hacker a Wikileaks Gianluca Costantini / Книга С меки корици
common.buy 17.17 € 33.59 лв

This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. The 34 revised full papers presented together with 17 tool papers, 4 invited talks and 3 invited tutorials were carefully reviewed and selected from 101 regular paper and 44 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for hardware and software systems. They are organized in topical sections on software model checking; model checking and automata; tools; counter and hybrid systems verification; memory consistency; verification of hardware and low level code; synthesis; concurrent program verification; compositional reasoning; and decision procedures.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Computer Aided Verification
Автор Tayssir Touili, Byron Cook, Paul Jackson
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2010
Брой страници 676
Баркод 9783642142949
ISBN 364214294X
Код Либристо 01656210
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 961
Размери 155 x 238 x 28

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Information technology: general issues
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Spatial Analysis and GeoComputation Manfred M. Fischer / Книга С меки корици
common.buy 108.60 € 212.41 лв
Research in Computational Molecular Biology Benny Chor / Книга С меки корици
common.buy 60.12 € 117.58 лв
Speech Prosody in Speech Synthesis: Modeling and generation of prosody for high quality and flexible speech synthesis Keikichi Hirose / Книга С твърди корици
common.buy 119.47 € 233.66 лв
Researches on Increasing the Performances of Renewable Energy Sources Petru Livinti / Книга С меки корици
common.buy 22.76 € 44.52 лв
Laparoscopic Colorectal Surgery Mark Coleman / Книга С твърди корици
common.buy 307.35 € 601.12 лв
Finishers' Manual - Containing the Receipts of an Expert for Finishing the Bottoms of Boots and Shoe, as Well as Other Valuable Information E. T. Thayer / Книга С меки корици
common.buy 17.07 € 33.39 лв
Early Bicycles and the Quest for Speed Andrew Ritchie / Книга С меки корици
common.buy 44.96 € 87.93 лв
More Than a Great Wedding 2: Creating Healthy Communities Where Relationships Thrive Daryl L Smith / Книга С меки корици
common.buy 8.53 € 16.69 лв
How To Create, Market & Sell Audiobooks: What Every Author Should Know About Audiobook Leland Benton / Книга С меки корици
common.buy 10.34 € 20.23 лв
The Pathfinder; Or, The Inland Sea James Fenimore Cooper / Книга С меки корици
common.buy 8.53 € 16.69 лв
Double Exposure: A Twin Autobiography Thelma Furness / Книга С твърди корици
common.buy 49.62 € 97.04 лв
Ink Stained Hands Jennifer Rapp / Книга С меки корици
common.buy 14.85 € 29.03 лв
C++ Reactive Programming Peter Abraham / Книга С меки корици
common.buy 49.67 € 97.14 лв
Top
Flash by Geoff Johns Omnibus Vol. 1 Geoff Johns / Книга С твърди корици
common.buy 77.09 € 150.78 лв
Moult and Ageing of European Passerines Lukas Jenni / Книга С твърди корици
common.buy 98.20 € 192.07 лв
Practical Guide to Managing Clinical Trials Pfeiffer / Книга С меки корици
common.buy 72.12 € 141.06 лв
Pale Horse Rider Mark Jacobson / E-книга Adobe ePub DRM
common.buy 19.97 € 39.05 лв
100 Things Bills Fans Should Know & Do Before They Die Jeffrey J. Miller / E-книга Adobe ePub DRM
common.buy 13.60 € 26.61 лв
Golden Chain Algis Uzdavinys / E-книга Adobe ePub DRM
common.buy 42.11 € 82.37 лв
It's Only Me John Underwood / E-книга Adobe ePub DRM
common.buy 25.81 € 50.49 лв
Kid's Box New Generation Level 1 Posters British English Caroline Nixon / Печатни материали Плакат
common.buy 24.73 € 48.36 лв
Mathematical Aspects of Paradoxes in Cosmology Michal Krízek / Книга С твърди корици
common.buy 162.78 € 318.37 лв
Illustrated Bible Stories Various / Книга С твърди корици
common.buy 17.12 € 33.49 лв
Coercion and Conciliation in Ireland 1880-1892 Lewis Perry Curtis / Книга С меки корици
common.buy 89.41 € 174.86 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?