Проверка на състоянието на поръчката
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

18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Computer Aided Verification Thomas Ball
Код Либристо: 01562480
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, август 2006
This book constitutes the refereed proceedings of the 18th International Conference on Computer Aide... Цялото описание
? points 263 b
108.69 €
212.58  лв
Външен склад Изпращаме след 5-8 дни

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

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

FESTE LIPID-NANOPARTIKEL IN DER WUNDBEHANDLUNG Kanika Dhote / Книга С меки корици
common.buy 57.58 € 112.62 лв
PREMIER DICTIONNAIRE DE BEBE : COULEURS ET FORMES Bout'chou / Книга С меки корици
common.buy 6.47 € 12.65 лв
Cherry Bomb Tyler / Аудио Аудио компактдиск
common.buy 16.10 € 31.49 лв
Aféra Granvillových Una-Mary Parker / Книга С меки корици
common.buy 13.87 € 27.13 лв
Borges. El Misterio Esencial / Borges. the Essential Mystery Willis Barnstone / Книга С меки корици
common.buy 15.79 € 30.88 лв
HEROIS, MONSTRES I ALTRES MENTIDES DOMINGO MIQUEL / Книга С меки корици
common.buy 27.75 € 54.28 лв
Nerudův verš Jakub Říha / Книга С меки корици
common.buy 5.64 € 11.03 лв
Lieder Oswalds von Wolkenstein Burghart Wachinger / Книга С меки корици
common.buy 22.42 € 43.85 лв
Juegos de ingenio John Katzenbach / Книга С меки корици
common.buy 15.89 € 31.08 лв
El Rubius 100% no oficial MARTINA REIS / Книга С меки корици
common.buy 14.75 € 28.86 лв
Organizacja procesowa Piotr Grajewski / Книга С меки корици
common.buy 14.91 € 29.16 лв
Auftakte Uwe David / Книга С меки корици
common.buy 19.05 € 37.26 лв
Verdinglichung und schulischer Leistungsprozess. Einfuhrung in die Sozialphilosophie Malte Gerhardt / Книга С меки корици
common.buy 17.14 € 33.51 лв
Patient Scheidungsfamilie Helmuth Figdor / Книга С меки корици
common.buy 33.09 € 64.71 лв

This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006.§The 35 revised full papers presented together with 10 tool papers and 4 invited papers were carefully reviewed and selected from 144 submissions adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems. The papers are organized in topical sections on automata, arithmetic, SAT and bounded model checking, abstraction/refinement, symbolic trajectory evaluation, property specification and verification, time, concurrency, trees, pushdown systems and boolean programs, termination, abstract interpretation, memory consistency, and shape analysis.

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

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

Пълно заглавие Computer Aided Verification
Автор Thomas Ball, Robert B. Jones
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2006
Брой страници 564
Баркод 9783540374060
ISBN 354037406X
Код Либристо 01562480
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1780
Размери 155 x 235 x 32

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

What Went Wrong With Capitalism Ruchir Sharma / Книга С твърди корици
common.buy 28.27 € 55.29 лв
Brooklyn Vintage Ads Vol 16 Robert a. Henriksen / Книга С меки корици
common.buy 21.18 € 41.42 лв
Conversations On The Catechism Of The Protestant Episcopal Church (1849) William Meade / Книга С меки корици
common.buy 26.92 € 52.66 лв
Free Us from Bullying: Real Solutions Beyond Being Nice Paul T Coughlin / Книга С меки корици
common.buy 14.70 € 28.75 лв
Quality management and the strategic plan / Книга С меки корици
common.buy 35.93 € 70.28 лв
Managing Cybersecurity Risk Jonathan Reuvid / Книга С меки корици
common.buy 37.80 € 73.93 лв
Mathematical Methods for Physics and Engineering Blennow / Книга С меки корици
common.buy 167.78 € 328.15 лв
Inspector Jack Carter Empire Rising Mark Woodcraft / Книга С меки корици
common.buy 16.67 € 32.60 лв
Five Years On The Inside Fisher Garth D. Fisher / Книга С меки корици
common.buy 9.42 € 18.42 лв
Dylan Thomas Rushworth M. Kidder / Книга С твърди корици
common.buy 95.95 € 187.67 лв
Legacy of Pope Benedict XVI Charles A. Coulombe / E-книга Adobe ePub DRM
common.buy 2.17 € 4.24 лв
For Zion's Sake: Christian Zionism and the Role of John Nelson Darby Paul Richard Wilkinson / Книга С меки корици
common.buy 34.17 € 66.84 лв
Starling of the White House Edmund W. Starling / Книга С меки корици
common.buy 28.74 € 56.20 лв
Revision Notes for the Respiratory Medicine Specialty Certificate Examination Caroline (Specialty Trainee in Respiratory Medicine; North West Thames Rotation) Patterson / Книга С меки корици
common.buy 99.99 € 195.57 лв
Running Blind Lee Child / Книга С твърди корици
common.buy 37.38 € 73.12 лв
The Rainbow Tulip Pat Mora / Книга С меки корици
common.buy 7.71 € 15.08 лв
Meditation Paul Brunton / Книга С меки корици
common.buy 20.66 € 40.40 лв
Great Seljuk Empire PEACOCK / Книга С твърди корици
common.buy 158.92 € 310.83 лв
Nanomaterials for Liquid Chromatography and Laser Desorption/Ionization Mass Spectrometry Tian Lu / Книга С твърди корици
common.buy 108.69 € 212.58 лв
Youth-Led Health Promotion in Urban Communities Melvin Delgado / Книга С твърди корици
common.buy 154.57 € 302.32 лв
Rethinking International Relations Theory Martin Griffiths / Книга С меки корици
common.buy 59.86 € 117.07 лв

Вход

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

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

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

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

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