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

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Език Английски езикАнглийски език
Книга С меки корици
Книга Computer Aided Verification Daniel Kroening
Код Либристо: 09372112
Издателство Springer International Publishing AG, юли 2015
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int... Цялото описание
? points 132 b
54.42 €
106.43  лв
Външен склад Изпращаме след 5-8 дни

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

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

Redeskriptionen horizontaler Geographien Olaf Kuhne / E-книга Adobe ePub DRM
common.buy 112.05 € 219.14 лв
La Divine Comédie De Dante; Volume 1 Louis Ratisbonne / Книга С меки корици
common.buy 27.88 € 54.53 лв
Palestina-Israel, un país, un estado : una iniciativa audaz para la paz Virginia Tilley / Книга С меки корици
common.buy 43.40 € 84.88 лв
Neue Formen des Wohnens und Zusammenlebens im Alter Martin Obermüller / Книга С меки корици
common.buy 54.78 € 107.14 лв
Medizinischer Grundwortschatz Martin Trebsdorf / Книга С меки корици
common.buy 19.19 € 37.53 лв

The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.§§The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.§

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

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

Пълно заглавие Computer Aided Verification
Автор Daniel Kroening, Corina S. Pasareanu
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2015
Брой страници 469
Баркод 9783319216676
ISBN 3319216678
Код Либристо 09372112
Издателство Springer International Publishing AG
Тегло 7314
Размери 155 x 235 x 25

Категории

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

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

Top
Love and Other Words Christina Lauren / Книга С меки корици
common.buy 13.91 € 27.21 лв
About Face Jason White / E-книга Adobe ePub DRM
common.buy 2.17 € 4.24 лв
Analysis of Images, Social Networks and Texts Wil M. P. van der Aalst / Книга С меки корици
common.buy 54.42 € 106.43 лв
How To Earn Money Without Leaving The House Daniel P Richardson / Книга С меки корици
common.buy 11.22 € 21.95 лв
Sex and passion Piero Palono / Книга С меки корици
common.buy 8.53 € 16.68 лв
Positiverosity: 7 Golden Principles David Fox-Pitt / Книга С меки корици
common.buy 11.53 € 22.55 лв
Jazz Session Trainer: The Woodshedder's Practice Kit - B-Flat Edition Larry Dunlop / Книга С твърди корици
common.buy 19.45 € 38.03 лв
Rita and Rascal Autum Agusta / Книга С твърди корици
common.buy 23.53 € 46.03 лв
The Haunting Season for Love and Witches Isabelle Larken / Книга С меки корици
common.buy 19.91 € 38.94 лв
Breaking Through Mexico's Past Eduardo Matos Moctezuma / Книга С твърди корици
common.buy 42.05 € 82.25 лв
Design Systems for VLSI Circuits Giovanni De Micheli / Книга С меки корици
common.buy 216.86 € 424.13 лв
Contraception Research for Today and the Nineties G.P. Talwar / Книга С твърди корици
common.buy 95.49 € 186.77 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo