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

10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

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

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

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

Moderno diccionario del diablo MARCIUS SHAPIRO / Книга С твърди корици
common.buy 18.48 € 36.15 лв
Подготвяме
SOUPES ET MINESTRONE BERNARSCONI-CETTEUBNER-C Книга Книга
common.buy 12.42 € 24.30 лв
Lambacher Schweizer Mathematik 8. Ausgabe Thüringen / Книга Лист
common.buy 13.51 € 26.42 лв
Rich Dad Poor Dad. Zusammenfassung & Analyse des Bestsellers von Robert T. Kiyosaki / Книга С меки корици
common.buy 14.39 € 28.15 лв
Brest abri 668 GERARD Книга С меки корици
common.buy 13.72 € 26.83 лв
BTS De la musique avant toute chose ? - Culture générale et expression - Examens 2021 et 2022 Manresa Книга С меки корици
common.buy 13.72 € 26.83 лв
Messmer winterpunsch tee, 50g Игра/играчка Играчка
common.buy 7.40 € 14.47 лв
Tempo e aspectos em Christian Bobin's The Missing Part Sara Ben Larbi / Книга С меки корици
common.buy 52.82 € 103.30 лв
On ne parle pas aux chouchous ! Kecir-Lepetit / Книга С меки корици
common.buy 8.75 € 17.11 лв
Hermeneutiken Lutz Danneberg / Книга С твърди корици
common.buy 198.70 € 388.62 лв
Hase und Igel Axel Scheffler / Книга С меки корици
common.buy 7.09 € 13.87 лв
Bu Benim.Zip Asli Serin / Книга С меки корици
common.buy 11.80 € 23.08 лв
Familienunternehmen im Nachfolgeprozess Frank A. Halter / Книга С меки корици
common.buy 58.62 € 114.64 лв
Le Soldat Magicien: Opera-Comique En 1 Acte Louis Anseaume / Книга С меки корици
common.buy 15.53 € 30.37 лв
100 Abenteuerreisen Rudolf S Rehberg / Книга С меки корици
common.buy 36.97 € 72.31 лв
Strategien der Identitätssuche Iris Julia Gütler / Книга С меки корици
common.buy 63.12 € 123.45 лв
Hannebambel Roland Pecher / Игра/играчка Игра
common.buy 9.06 € 17.71 лв
neue E-Bilanz Judith Pohler / Книга С меки корици
common.buy 23.76 € 46.48 лв

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

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

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

Пълно заглавие Computer Aided Verification
Автор Alan J. Hu, Moshe Y. Vardi
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1998
Брой страници 552
Баркод 9783540646082
ISBN 3540646086
Код Либристо 05274836
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 720
Размери 156 x 234 x 29

Категории

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 Книгата ще пристигне на адреса на получателя

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

Selected Articles on Social Insurance. Multiple Contributors / Книга С меки корици
common.buy 36.24 € 70.89 лв
Study of the Effect of Incandescent Gas-Light on Plant Growth Lee C. Corbett / Книга С меки корици
common.buy 12.42 € 24.30 лв
Kept for Jesus Sam Storms / Книга С меки корици
common.buy 18.95 € 37.06 лв
Liberal Quicksand Yves Decock / Книга С меки корици
common.buy 25.63 € 50.13 лв
Fenway Park David Hickey / Книга С меки корици
common.buy 22.16 € 43.34 лв
The Founding Foodies Dave DeWitt / Книга С меки корици
common.buy 22.16 € 43.34 лв
Manhunt: The Pursuit of Harry Tracy Bill Gulick / Книга С меки корици
common.buy 18.17 € 35.54 лв
Long Challenge: The Empowerment Controversy (1967-1977) Victor H. Carpenter / Книга С меки корици
common.buy 12.79 € 25.01 лв
Principles of Marketing Philip T. Kotler / Книга С твърди корици
common.buy 276.79 € 541.35 лв
GAME OF EMPIRES Edward S. (Edward Sims) 1863 Van Zile / Книга С твърди корици
common.buy 34.48 € 67.45 лв
When the Clouds Fell from the Sky Robert Carmichael / E-книга Adobe ePub DRM
common.buy 4.60 € 9.00 лв
Precedents in Conveyancing: A Collection of Forms of Assurances of Real and Personal Property Adapted to the Present State of the Law ... Volume 4 S Vallis Bone / Книга С меки корици
common.buy 28.89 € 56.51 лв
THE CHORDATES HERBERT W. 187 RAND / Книга С меки корици
common.buy 36.40 € 71.19 лв
Uncovered Ian Birch / Книга С твърди корици
common.buy 55.35 € 108.26 лв
Third Sector Meghan Kallman / Книга С меки корици
common.buy 26.61 € 52.05 лв
Orson Welles Chris Wade / Книга С меки корици
common.buy 15.63 € 30.58 лв
Decarbonising The World's Economy: Assessing The Feasibility Of Policies To Reduce Greenhouse Gas Emissions Douglas Crawford-Brown / Книга С твърди корици
common.buy 141.84 € 277.41 лв
Quantum Mechanics and the Philosophy of Alfred North Whitehead Michael Epperson / Книга С меки корици
common.buy 40.70 € 79.60 лв
Challenge of Democratic Representation in the European Union Sandra Kroger / Книга С твърди корици
common.buy 61.21 € 119.71 лв
Dark Object Don Ledger / Книга С меки корици
common.buy 6.99 € 13.66 лв
ENT MCQs for Medical Students Mannu Odutoye / Книга С меки корици
common.buy 57.58 € 112.62 лв
Arsenic in the Environment, Part 2 J. O. Nriagu / Книга С твърди корици
common.buy 323.91 € 633.52 лв
Companion to 19th-Century America Barney / Книга С меки корици
common.buy 60.22 € 117.78 лв
Vegan Family Meals Ann Gentry / Книга С твърди корици
common.buy 24.13 € 47.19 лв

Вход

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

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

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

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

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