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

Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Verification, Model Checking, and Abstract Interpretation Barbara Jobstmann
Код Либристо: 02862913
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, декември 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Verification,... Цялото описание
? points 125 b
51.63 €
100.98  лв
Външен склад Изпращаме след 5-8 дни

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

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

ESTHETIQUE MUSICALE Dubet / Книга С меки корици
common.buy 20.10 € 39.32 лв
Neofici Polscy: Materyaly Historyczne (1904) Teodor Jeske-Choinski / Книга С меки корици
common.buy 31.58 € 61.76 лв
Die Abenteuer des Robin Hood - Die Bruder Tuck Erweiterung Michael Menzel / Игра/играчка Игра
common.buy 26.10 € 51.04 лв
Wise Man's Grandchild 09 Tsuyoshi Yoshida / Книга С меки корици
common.buy 6.46 € 12.63 лв
Tutto Diego. Maradona minuto per minuto Stefano De Cristofaro / Книга С меки корици
common.buy 23.88 € 46.70 лв
Catherine: princezna z Walesu (audiokniha) Robert Jobson / Аудио Аудио компактдиск
common.buy 19.17 € 37.50 лв
Edelweiss Ronnie J. C. / Книга С меки корици
common.buy 13.69 € 26.78 лв
Les sept secrets d'Esther Wilding Holly Ringland / Книга С меки корици
common.buy 32.40 € 63.38 лв
Die Lehre Von Christi Hollenfahrt (1842) Johann Ludwig Konig / Книга С меки корици
common.buy 30.70 € 60.04 лв
L'escapade de Miquette de Camo (diglot): in French and in Hindi Aditya Srivastava / Книга С меки корици
common.buy 109.27 € 213.71 лв
L'Arme invisible: Les Habits Noirs IV Paul Feval / Книга С меки корици
common.buy 18.65 € 36.49 лв
Biblisch-theologisches Wörterbuch der neutestamentlichen Gräzität Hermann Cremer / Книга С меки корици
common.buy 32.97 € 64.49 лв
Antología poética Pedro Salinas / Книга С меки корици
common.buy 12.45 € 24.35 лв
Plateforme D cisionnelle Pour Les Achats Et Approvisionnements Rafya-A / Книга С меки корици
common.buy 32.09 € 62.77 лв
Most přes řeku Styx Quirin Jedlička / Книга С меки корици
common.buy 7.54 € 14.75 лв
Mediko-geneticheskoe konsul'tirovanie i profilaktika insul'ta Ol'ga Sidorova / Книга С меки корици
common.buy 29.41 € 57.51 лв
Manejo da irrigacao na cultura da canola (brassica napus l.) no Brasil Carolina Bilibio / Книга С меки корици
common.buy 48.22 € 94.31 лв

This book constitutes the refereed proceedings of the 17th International§Conference on Verification, Model Checking, and Abstract§Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected§from 67 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

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

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

Пълно заглавие Verification, Model Checking, and Abstract Interpretation
Автор Barbara Jobstmann, K. Rustan M. Leino
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2015
Брой страници 558
Баркод 9783662491218
ISBN 3662491214
Код Либристо 02862913
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 866
Размери 155 x 235 x 30

Категории

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
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 science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Understanding Blackness through Performance Anne Cremieux / Книга С твърди корици
common.buy 74.53 € 145.77 лв
Alien Next Door 6: The Mystery Valentine A. I. Newton / Книга С твърди корици
common.buy 15.76 € 30.82 лв
International Yearbook of Industrial Statistics 2018 UNIDO / Книга С твърди корици
common.buy 405.19 € 792.48 лв
Our Nation in Decline Tom Hopper / Книга С меки корици
common.buy 6.77 € 13.23 лв
Charter and Ordinances, Together with the Acts of the Legislature, Relating to the City, Rules and Orders of the City Council, and Members of City Cou Gardiner (Me ) Maine / Книга С меки корици
common.buy 15.61 € 30.52 лв
Aesthetic Surgery of the Craniofacial Skeleton Li Min M.D . / Книга С твърди корици
common.buy 102.96 € 201.37 лв
Encyclopedia of Environmental Protection and Management: Volume IV Chuck Lancaster / Книга С твърди корици
common.buy 129.27 € 252.83 лв
Get Your Money Right: The 7 Keys to Unlocking a Better Financial Future Kembala Evans / Книга С меки корици
common.buy 19.69 € 38.51 лв
Ver-Non-Semper-Viret. Memorial of Admiral Vernon WILLIAM FRED VERNON / Книга С твърди корици
common.buy 31.58 € 61.76 лв
Maat and Ancient Egyptian Magic Mari Silva / Книга С твърди корици
common.buy 24.55 € 48.01 лв
Fanatism Dr Samar / Книга С меки корици
common.buy 15.19 € 29.71 лв
A Latin Vocabulary: Arranged On Etymological Principles As An Exercise Book And First Latin Dictionary (1848) Benjamin Hall Kennedy / Книга С твърди корици
common.buy 37.26 € 72.88 лв
Storytelling Phebe Cramer / Книга С твърди корици
common.buy 94.74 € 185.30 лв
Retreat to the Reich Samuel W. Mitcham / Книга С меки корици
common.buy 19.07 € 37.29 лв
Visit to the Farm Michael Morpurgo / Книга С меки корици
common.buy 9.25 € 18.09 лв
Подготвяме
Report of the Joint Inspection Unit for 2008 and Programme of Work for 2009 United Nations: Joint Inspection Unit / Книга С меки корици
common.buy 13.33 € 26.07 лв
Top
The Awful German Language Mark Twain / Книга С твърди корици
common.buy 13.07 € 25.57 лв
Night Before Christmas Clement C Moore & Corinne Malvern / Книга Дипляна
common.buy 6.97 € 13.64 лв
Numerical Methods for Differential Equations, Optimization, and Technological Problems Sergei Repin / Книга С твърди корици
common.buy 154.24 € 301.66 лв
Desire for Society H. G. Furth / Книга С твърди корици
common.buy 102.91 € 201.27 лв
Comparative Constitutional Design Tom Ginsburg / Книга С меки корици
common.buy 63.93 € 125.05 лв
Myth of Liberal Ascendancy G Williams Domhoff / Книга С меки корици
common.buy 56.49 € 110.49 лв

Вход

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

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

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

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

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