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

Automated Technology for Verification and Analysis

12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Technology for Verification and Analysis Franck Cassez
Код Либристо: 05338676
Издателство Springer International Publishing AG, септември 2014
This book constitutes the proceedings of the 12th International Symposium on Automated Technology fo... Цялото описание
? points 132 b
54.41 €
106.41  лв
Външен склад Изпращаме след 5-8 дни

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

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

Catalogue de Tableaux Modernes, Aquarelles, Pastels, Dessins Par Nanny Adam, Ary Scheffer / Книга С меки корици
common.buy 12.72 € 24.87 лв
Die Tote im roten Kleid Ann Cleeves / Книга С меки корици
common.buy 18.15 € 35.50 лв
Top
Zvláštny návrat Rachel Priceovej Holly Jackson / Книга С меки корици
common.buy 17.99 € 35.19 лв

This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 papers presented in this volume were carefully reviewed and selected from 76 submissions.

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

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

Пълно заглавие Automated Technology for Verification and Analysis
Автор Franck Cassez, Jean-Francois Raskin
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2014
Брой страници 430
Баркод 9783319119359
ISBN 3319119354
Код Либристо 05338676
Издателство Springer International Publishing AG
Тегло 6847
Размери 155 x 235 x 18

Категории

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

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

Fluoride in Drinking-Water K Bailey / Книга С меки корици
common.buy 98.06 € 191.79 лв
Whatever Next? Anne Glenconner / Книга С меки корици
common.buy 17.99 € 35.19 лв
Forensic Science and Legal Medicine Francesco Sessa / Книга С твърди корици
common.buy 45.87 € 89.72 лв
Catalog of 16mm Silent Motion Picture Film Library; E Inc Mogull's Camera and Film Exchange / Книга С меки корици
common.buy 16.55 € 32.36 лв
The Sunday Afternoon: Fifty-Two Brief Sermons (1871) James Baldwin Brown / Книга С меки корици
common.buy 38.27 € 74.85 лв
Aesthetics of Fraudulence in Nineteenth-Century France Scott Carpenter / Книга С меки корици
common.buy 73.13 € 143.03 лв
Genesis: An Introduction and Commentary Andrew E Steinmann / Книга С меки корици
common.buy 29.63 € 57.95 лв
Someday Is Now Olugbemisola Rhuday-Perkovich / Книга С твърди корици
common.buy 15.67 € 30.64 лв
Simple Machines Pack A of 6 RUSTAD MARTHA E H / Книга С меки корици
common.buy 49.34 € 96.49 лв
Menace J M Darhower / Книга С меки корици
common.buy 14.84 € 29.02 лв
OTHER MINDS Peter Godfrey-Smith / Книга С меки корици
common.buy 15.51 € 30.34 лв
Fracture of Composite Orthotropic Plates Containing Periodic Buffer Strips Feridun Delale / Книга С меки корици
common.buy 18.41 € 36.00 лв
Adventures of Hamhocks and Henry Hazel M Mason / Книга С меки корици
common.buy 8.37 € 16.38 лв
Internet Culture David Porter / Книга С меки корици
common.buy 59.63 € 116.63 лв
Lectures on the History of Physiology Michael Foster / Книга С меки корици
common.buy 48.46 € 94.78 лв
WDM Systems and Networks Neophytos (Neo) Antoniades / Книга С меки корици
common.buy 216.81 € 424.05 лв
Life Narratives and Youth Culture Kate Douglas / Книга С твърди корици
common.buy 95.16 € 186.12 лв
Millie Marotta Journal Millie Marotta / Книга С твърди корици
common.buy 12.46 € 24.37 лв
Constructivist Psychotherapy Robert A Neimeyer / Книга С меки корици
common.buy 32.79 € 64.12 лв
Coping Successfully with Pain Neville Shone / Книга С меки корици
common.buy 20.17 € 39.44 лв
Art Isn't Easy Joanne Gordon / Книга С меки корици
common.buy 18.77 € 36.71 лв
Korean Neo-Confucianism of Yi Yulgok Young-chan Ro / Книга С меки корици
common.buy 37.54 € 73.43 лв
Prenatal Person: Ethics from Conception to Bir th Norman M. Ford / Книга С меки корици
common.buy 58.39 € 114.20 лв
Подготвяме
Materials for a Historical Dictionary of New Persian Loanwords in Old Anatolian and Ottoman Turkish from the 13th to the 16th Century Marzanna Pomorska / Книга С меки корици
common.buy 50.79 € 99.33 лв

Вход

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

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

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

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

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