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

Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Verified Software: Theories, Tools and Experiments Dimitra Giannakopoulou
Код Либристо: 06841788
Издателство Springer International Publishing AG, октомври 2014
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International... Цялото описание
? points 127 b
52.26 €
102.22  лв
Външен склад Изпращаме след 5-8 дни

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

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

Kognitive Kooperation in der Produktionssteuerung Tobias Wissing / Книга С меки корици
common.buy 40.01 € 78.25 лв
Изгодно
TOKYO STOREFRONTS POSTCARD BOOK (ARTBOOK VO JAPONAIS) MATEUSZ URBANOWICZ / Книга С меки корици
common.buy 29.98 € 58.64 лв
Odontología deportiva: una perspectiva de futuro Ipseeta Menon / Книга С меки корици
common.buy 67.77 € 132.55 лв
The Pug who wanted to be a Dinosaur Bella Swift / Книга С меки корици
common.buy 9.30 € 18.19 лв
Huculskie peregrynacje weselne Świątek Adrianna / Книга С меки корици
common.buy 19.12 € 37.40 лв
Der Europäische Verfassungsvertrag Klemens H. Fischer / Книга С меки корици
common.buy 89.02 € 174.11 лв
Percevoir : monde et langage Socks / Календар/тефтер Календар
common.buy 42.49 € 83.11 лв
a a a a a a a a a a a a Rider Tiger Rider / Аудиокнига MP3
common.buy 3.51 € 6.87 лв
REVISTA TURIA 107 / Книга Книга
common.buy 18.97 € 37.10 лв
Concevoir des espaces scolaires pour le bien-être et la réussite Mazalto / Книга С меки корици
common.buy 22.17 € 43.37 лв
Mediunidade Trevas Ou Luz Ricardo Max / Книга С меки корици
common.buy 8.53 € 16.67 лв
Pfadfinder Majo Probst / Книга С меки корици
common.buy 23.67 € 46.30 лв
Love & Passion Jana Reich / Книга С меки корици
common.buy 22.85 € 44.68 лв
Airport Simulator 2019 (PlayStation PS4) / Digital Digital CD
common.buy 35.46 € 69.36 лв
Antropología de la mujer : cognición, lengua e ideología cultural María Jesús Buxó Rey / Книга С меки корици
common.buy 17.37 € 33.97 лв
Belluguets, Carlota, la granota, Educació Infantil, 3 anys. 3 trimestre Anna Gassó Jimeno / Книга С меки корици
common.buy 11.73 € 22.94 лв
Towards Ancestral Lands Fir Bolg / Аудио Аудио компактдиск
common.buy 21.92 € 42.86 лв
Contribution La Mod lisation Num rique de la R ponse Sismique Abdelghani Seghir / Книга С меки корици
common.buy 65.09 € 127.30 лв
Mecanismes de Sequestration de la Tubuline Isabelle Jourdain / Книга С меки корици
common.buy 75.27 € 147.22 лв
Actitud de los docentes hacia un nuevo modelo educativo Gilberto Hernández Barrera / Книга С меки корици
common.buy 27.50 € 53.78 лв
Die Versorgung des Brandverletzten im Katastrophenfall Band 2 P. R. Zellner / Книга С меки корици
common.buy 54.80 € 107.17 лв
Vergleich Der Substantivflexion Im Gotischen Und Althochdeutschen Andy Schalm / Книга С меки корици
common.buy 17.11 € 33.46 лв

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.

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

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

Пълно заглавие Verified Software: Theories, Tools and Experiments
Автор Dimitra Giannakopoulou, Daniel Kroening
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2014
Брой страници 287
Баркод 9783319121536
ISBN 3319121537
Код Либристо 06841788
Издателство Springer International Publishing AG
Тегло 4569
Размери 155 x 235 x 15

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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 Книгата ще пристигне на адреса на получателя

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

Mad Science of Golf Moore / Книга С меки корици
common.buy 21.30 € 41.65 лв
BLUE WATERS AND GREEN: AND THE FAR EAST FREDERICK DUM SMITH / Книга С твърди корици
common.buy 36.34 € 71.07 лв
Enchanted April Arnim / Аудиокнига MP3
common.buy 10.02 € 19.61 лв
Poems of Praise and Worship Shane Dale Anders / Книга С меки корици
common.buy 11.32 € 22.13 лв
Genealogies of Long Island Families, from The New York Genealogical and Biographical Record. In Two Volumes. Volume I Island Long Island / Книга С меки корици
common.buy 79.87 € 156.22 лв
Yusef; Or, the Journey of the Frangi. a Crusade in the East ... with Illustrations. J Ross Browne / Книга С меки корици
common.buy 28.07 € 54.90 лв
The Indie Band Survival Guide Randy Chertkow / Книга С меки корици
common.buy 20.21 € 39.53 лв
Lumberjanes Vol. 2 Noelle Stevenson / Книга С меки корици
common.buy 12.66 € 24.76 лв
Understanding Chronic Pain Robert T. Cochran / Книга С меки корици
common.buy 14.99 € 29.31 лв
1999 Abacus Year 1 / P2: Workbook Number 3 (8 pack) Ruth Merttens / Книга С меки корици
common.buy 30.55 € 59.75 лв
Miscellaneous Essays and Occasional Writings of Francis Hopkinson, Esq Francis Hopkinson / Книга С твърди корици
common.buy 38.25 € 74.82 лв
Webster's First Bunker Hill Oration, 1825 Andrew Jackson George Daniel Webster / Книга С меки корици
common.buy 13.39 € 26.18 лв
Idylls of Hudson Park Gary Luhmann / Книга С меки корици
common.buy 27.86 € 54.49 лв
I Was Reincarnated as the 7th Prince so I Can Take My Time Perfecting My Magical Ability 5 Meru / Книга С меки корици
common.buy 11.58 € 22.64 лв
English I - Andersson Fall 2017: /English 103 Lena Andersson / Книга С меки корици
common.buy 13.18 € 25.77 лв
LibreOffice 5.2 Getting Started Guide Libreoffice Documentation Team / Книга С меки корици
common.buy 25.07 € 49.03 лв
Rama Epic Forrest McGill / Книга С меки корици
common.buy 49.27 € 96.35 лв
Top
Five Wounds - A Novel Quade / Книга С твърди корици
common.buy 23.67 € 46.30 лв
Gathering The Fragments That Nothing Will Be Lost Linda Hunt / Книга С меки корици
common.buy 19.43 € 38.01 лв
Emily und der kleine Bär Antony Anderson / Видео DVD
common.buy 19.64 € 38.41 лв
Land Degradation C. J. Barrow / Книга С меки корици
common.buy 50.09 € 97.97 лв
Multitrophic Level Interactions Teja Tscharntke / Книга С твърди корици
common.buy 144.24 € 282.10 лв
Dynamic Topology G. Whyburn / Книга С меки корици
common.buy 54.38 € 106.36 лв
Relevance Ranking for Vertical Search Engines Bo Long / Книга С меки корици
common.buy 67.98 € 132.96 лв

Вход

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

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

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

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

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