Проверка на състоянието на поръчката
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Как се пазарува?
Над 10 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Computer Aided Verification

13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Computer Aided Verification Gerard Berry
Код Либристо: 01563631
Издателство Springer, Berlin, ноември 2006
This book constitutes the refereed proceedings of the 13th International Conference on Computer Aide... Цялото описание
? points 263 b
107.89 €
211.02  лв
Външен склад Изпращаме след 5-8 дни

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

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

La prostitution comme une manière de raconter la ville Charreyron / Книга С меки корици
common.buy 21.43 € 41.91 лв
Laços Tóxicos Alexandre Marques / Книга С меки корици
common.buy 9.09 € 17.78 лв
Uprawlenie cepqmi postawok i logistikoj Chethan S / Книга С меки корици
common.buy 41.27 € 80.72 лв
La Lanterne du Jugement - Tome 1 - Éveil DARKAALE / Книга С меки корици
common.buy 26.52 € 51.87 лв
Brotarán cuentos Beatriz Giménez de Ory / Книга С меки корици
common.buy 19.17 € 37.49 лв
Top
tRENDrakó - Az ecetes srác jegyzetei Bartus Marcell / Книга С твърди корици
common.buy 18.65 € 36.48 лв
Le Regime Fiscal Des Successions Dans Les Pays Extra-Europeens Salefranque-L / Книга С меки корици
common.buy 13.15 € 25.73 лв
Wirklichkeitskonstruktion in deutschen Fernsehserien Sabine Wipperfürth / Книга С меки корици
common.buy 26.36 € 51.57 лв
Biologische Geographie Hermann Wagner / Книга С меки корици
common.buy 46.82 € 91.58 лв
Budapest / Печатни материали Карта
common.buy 10.02 € 19.59 лв
Chemie fur Ingenieure Jan Hoinkis / Книга С меки корици
common.buy 51.40 € 100.53 лв
Sinfonien 1 Aldo/Bergen PO Ceccato / Аудио Аудио компактдиск
common.buy 24.01 € 46.96 лв
Cuerpo Superior de Administradores [Especialidad Administradores Generales (A1 1100)] de la Junta de Andalucía. Test. Volumen I / Книга С меки корици
common.buy 48.47 € 94.80 лв
La asertividad : para gente extraordinaria EVA BACH COBACHO / Книга С меки корици
common.buy 30.12 € 58.90 лв
Musikalische Poetik Bruno Madernas Markus Fein / Книга С меки корици
common.buy 99.56 € 194.73 лв
Le Collier de L'esclave Amanda Roberts / E-книга Adobe ePub DRM
common.buy 7.09 € 13.87 лв
Gramatika současné finštiny neuvedený autor / Книга С меки корици
common.buy 11.35 € 22.21 лв
Il diavolo nella bottiglia: Traduzione italiana con testo a fronte Robert Louis Stevenson / Книга С меки корици
common.buy 12.33 € 24.12 лв
MODELOS DE GESTIÓN EN INNOVACIÓN EN TURISMO MANUEL FIGUEROLA / Книга Книга
common.buy 65.64 € 128.37 лв
Les quatre vies du saule Shan Sa / Книга Книга
common.buy 30.12 € 58.90 лв
Alpha & Omega, T5 : Dans la gueule du loup Patricia Briggs / Книга С меки корици
common.buy 12.33 € 24.12 лв
Подготвяме
CIUDAD. CUADERNO DE VOCABULARIO áRABE, LA ANAYA HORTAL / Книга Книга
common.buy 5.65 € 11.05 лв
HA.DE LA ARQUITECTURA VELARDE / Книга Книга
common.buy 11.15 € 21.81 лв

This book constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July 2001.§The 33 revised full papers presented were carefully reviewed and selected from 106 regular paper submissions; also included are 13 reviewed tool presentations selected from 27 submissions. The book offers topical sections on model checking and theorem proving, automata techniques, verification core technology, BDD and decision trees, abstraction and refinement, combinations, infinite state systems, temporal logics and verification, microprocessor verification and cache coherence, SAT and applications, and timed automata.

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

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

Пълно заглавие Computer Aided Verification
Автор Gerard Berry, Hubert Comon, Alain Finkel
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2007
Брой страници 522
Баркод 9783540423454
ISBN 3540423451
Код Либристо 01563631
Издателство Springer, Berlin
Тегло 794
Размери 155 x 233 x 28

Категории

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

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

Intelligence and Artificial Intelligence Ulrich Ratsch / Книга С меки корици
common.buy 107.89 € 211.02 лв
Microbial Natural Products Chemistry Taícia Pacheco Fill / Книга С твърди корици
common.buy 237.02 € 463.56 лв
MONTALBERT: A NOVEL, VOLUME 2 CHARLOTTE TUR SMITH / Книга С твърди корици
common.buy 34.18 € 66.85 лв
Railways of South and West Scotland Ian Lothian / Книга С меки корици
common.buy 18.09 € 35.38 лв
Next of Kin Wanted Matilda Betham-Edwards / Книга С твърди корици
common.buy 35.15 € 68.76 лв
Wehman's 10c. Cook Book Henry J. Wehman / Книга С меки корици
common.buy 12.33 € 24.12 лв
If Your Enemy Hungers, Feed Him ROBERT E HOOPER / Книга С меки корици
common.buy 29.14 € 56.99 лв
Don't Be Quiet, Start a Riot! Essays on Feminism and Performance Tiina Rosenberg / Книга С меки корици
common.buy 20.61 € 40.31 лв
The Railway Revolution in Mexico Bernard Moses / Книга С меки корици
common.buy 16.96 € 33.17 лв
Bubbles Joshua Martinez / Книга С меки корици
common.buy 17.68 € 34.57 лв
All Measures Short of War Thomas J Wright / Книга С меки корици
common.buy 20.86 € 40.81 лв
U.S.-Japan Science and Technology Agreement: A Drama in Five Acts UYEHARA / Книга С меки корици
common.buy 81.78 € 159.94 лв
Twinflame Shananda / Книга С твърди корици
common.buy 37.88 € 74.09 лв
Blame Me Verland Marshall / Книга С меки корици
common.buy 16.03 € 31.36 лв
Registered: A Guide for Protecting Your Business, Brand & Bucks Michelle J. Miller / Книга С меки корици
common.buy 19.73 € 38.60 лв
Four American Universities: Harvard, Yale, Princeton, Columbia William Milligan Sloane / Книга С меки корици
common.buy 21.74 € 42.52 лв
Tales of Prophet Yunus (Jonah) English Edition Muhammad Vandestra / E-книга Adobe ePub DRM
common.buy 1.38 € 2.71 лв
Social Aesthetics and Moral Judgment Jennifer A. McMahon / E-книга Adobe ePub DRM
common.buy 70.24 € 137.38 лв
History of Philosophy and the Reflective Society Riccardo Pozzo / Книга С твърди корици
common.buy 100.85 € 197.24 лв
Electric Power and Energy Distribution Systems - Models, Methods, and Applications Anil Pahwa / Книга С твърди корици
common.buy 141.51 € 276.77 лв
Build It! Things That Go Jennifer Kemmeter / Книга С меки корици
common.buy 14.59 € 28.54 лв
Prince of Control Renee Rose / Книга С меки корици
common.buy 13.05 € 25.53 лв
Подготвяме
Science and Engineering of Cutting Antony Atkins / Книга С меки корици
common.buy 66.05 € 129.18 лв
Usefulness in Small Things Kim Colin / Книга С меки корици
common.buy 40.60 € 79.41 лв

Вход

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

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

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

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

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