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

11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Computer Aided Verification Nicolas Halbwachs
Код Либристо: 05274969
Издателство Springer, Berlin, ноември 1998
This book constitutes the refereed proceedings of the 11th International Conference on Computer Aide... Цялото описание
? points 132 b
54.34 €
106.28  лв
Външен склад Изпращаме след 5-8 дни

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

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

Neurodermitis bewältigen Ulrich Stangier / Книга С меки корици
common.buy 54.75 € 107.09 лв
Un nuevo comienzo Joel Osteen / Книга С меки корици
common.buy 17.15 € 33.53 лв
Byłam kochanką arabskich szejków Laila Shukri / Книга С меки корици
common.buy 10.38 € 20.30 лв
Conférences sur le rideau de Mme Caudle Douglas Jerrold / Книга С меки корици
common.buy 16.73 € 32.72 лв
No me llames loca Girona / Аудиокнига MP3
common.buy 11.72 € 22.92 лв
MEGA MALBUCH - 300 SEITEN MIT TOLLEN MOTIVEN - SUPER EINFACH ZEICHNEN LERNEN UND ÜBEN - MIT EINIGEN FARBVORLAGEN Gabriele André / Книга С меки корици
common.buy 28.30 € 55.36 лв
Necesidades energéticas y propuestas de instalaciones solares Bernabé Jiménez Padilla / Книга С меки корици
common.buy 36.83 € 72.03 лв
La obra gruesa : unos apuntes de construcción Mañá Reixach / Книга С меки корици
common.buy 32.85 € 64.25 лв
Herbst David Moody / Книга С меки корици
common.buy 15.18 € 29.69 лв
Uglavnom su me voljele starije gospođe Aleksandar Stanković / Книга С твърди корици
common.buy 15.08 € 29.49 лв
Физико-химические основы развития и тушения пожаров. Учебное пособие Владимир Адамян / Книга С твърди корици
common.buy 33.06 € 64.65 лв
Столетняя война Э. Перруа / Книга С твърди корици
common.buy 33.06 € 64.65 лв
Diccionario de la lengua española / Книга С меки корици
common.buy 24.33 € 47.58 лв
SOUL BOSSANOVA CONCERT BAND/HARMONIE -PARTITION+PARTIES SEPAREES QUINCY JONES Книга binding.
common.buy 184.26 € 360.37 лв
Aycha ou Le retour d'Elle - roman Haggard Книга С меки корици
common.buy 25.77 € 50.41 лв
Camden Town - Allgemeine Ausgabe 2012 für Gymnasien. Bd.3 / Книга Лист
common.buy 10.48 € 20.50 лв
Schottische Hochlandrinder bei de Bollekammer (Puzzle) Elke Krone / Игра/играчка Игра
common.buy 47.42 € 92.74 лв
Compraventa y La Permuta Agrarias y Rusticas David Bernardo López Lluch / Книга С меки корици
common.buy 27.48 € 53.74 лв

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.

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

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

Пълно заглавие Computer Aided Verification
Автор Nicolas Halbwachs, Doron Peled
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1999
Брой страници 506
Баркод 9783540662020
ISBN 3540662022
Код Либристо 05274969
Издателство Springer, Berlin
Тегло 670
Размери 156 x 234 x 26

Категории

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 > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Geometry and Analysis on Manifolds Toshikazu Sunada / Книга С меки корици
common.buy 38.12 € 74.55 лв
Подготвяме Нови
Spy x Family Broschurkalender 2027 / Календар/тефтер Календар
common.buy 14.72 € 28.78 лв
Literature Lost John M. Ellis / Книга С меки корици
common.buy 39.77 € 77.79 лв
Within Reason: Rationality and Human Behavior Donald Calne / Книга С меки корици
common.buy 18.75 € 36.66 лв
100 Families Samuel Willard Crompton / Книга С меки корици
common.buy 8.31 € 16.26 лв
Memoirs of the Connecticut Academy of Arts & Sciences, Volumes 4-5 University / Книга С твърди корици
common.buy 33.52 € 65.56 лв
Word Detective John Simpson / Книга С меки корици
common.buy 15.75 € 30.80 лв
Life In Its Rawest Form Qiana S Hicks / Книга С меки корици
common.buy 13.53 € 26.46 лв
Essential Reproduction, 8th Edition Martin H. Johnson / Книга С меки корици
common.buy 76.14 € 148.91 лв
The Whig Party: A Short-Lived Movement with a Long Legacy In60learning / Книга С меки корици
common.buy 8.52 € 16.66 лв
Art and Meaning of Magic Israel Regardie / Книга С меки корици
common.buy 30.47 € 59.60 лв
Ted Bundy: Conversations with a Killer: The Death Row Interviews Volume 1 Stephen G. Michaud / Книга С меки корици
common.buy 15.03 € 29.39 лв
Tetrastatum Richard / Книга С меки корици
common.buy 20.24 € 39.59 лв
Colorful Blessings Coloring Book: 20 Colorful Blessing Quote Mandala Coloring Pages For Adults Crystal Coloring Books / Книга С меки корици
common.buy 9.55 € 18.68 лв
Cold Hands Cool Heart Richard H. Dieckhoff Jr / Книга С меки корици
common.buy 13.79 € 26.97 лв
Home Thoughts for Mothers and Mother's Meetings (1869) Jane Ellice Hopkins / Книга С меки корици
common.buy 23.09 € 45.15 лв
Homer, for Beginners. Iliad, Book 1-3, With Engl. Notes by T.K. Arnold Homerus / Книга С твърди корици
common.buy 30.68 € 60.00 лв
The Wind in the Willows Kate Hindley / Книга С твърди корици
common.buy 19.42 € 37.98 лв
Cease Buzzer!: Life as a U.S. Navy EA-6B Pilot in the Era of Top Gun J.P. Springett / Книга С твърди корици
common.buy 29.75 € 58.18 лв
The Wonderful Wizard of Oz Victor Tavares / Книга С твърди корици
common.buy 19.42 € 37.98 лв
The Widening of God`s Mercy – Sexuality Within the Biblical Story Christopher B Hays / Книга С твърди корици
common.buy 21.64 € 42.32 лв
El Hacho Sean Campbell / E-книга Adobe ePub DRM
common.buy 2.53 € 4.94 лв
Adolescent Reputations and Risk Annemaree Carroll / Книга С меки корици
common.buy 108.42 € 212.06 лв
Queequeg's Coffin Birgit Brander Rasmussen / Книга С меки корици
common.buy 34.66 € 67.78 лв

Вход

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

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

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

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

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