Проверка на състоянието на поръчката
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 132 b
54.46 €
106.52  лв
Външен склад Изпращаме след 5-8 дни

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

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

Neofici Polscy: Materyaly Historyczne (1904) Teodor Jeske-Choinski / Книга С меки корици
common.buy 31.63 € 61.86 лв
ESTHETIQUE MUSICALE Dubet / Книга С меки корици
common.buy 20.34 € 39.79 лв
Die Abenteuer des Robin Hood - Die Bruder Tuck Erweiterung Michael Menzel / Игра/играчка Игра
common.buy 26.14 € 51.13 лв
Wise Man's Grandchild 09 Tsuyoshi Yoshida / Книга С меки корици
common.buy 6.93 € 13.56 лв
Die Lehre Von Christi Hollenfahrt (1842) Johann Ludwig Konig / Книга С меки корици
common.buy 30.75 € 60.14 лв
Catherine: princezna z Walesu (audiokniha) Robert Jobson / Аудио Аудио компактдиск
common.buy 19.20 € 37.56 лв
Edelweiss Ronnie J. C. / Книга С меки корици
common.buy 13.72 € 26.82 лв
L'escapade de Miquette de Camo (diglot): in French and in Hindi Aditya Srivastava / Книга С меки корици
common.buy 109.45 € 214.06 лв
L'Arme invisible: Les Habits Noirs IV Paul Feval / Книга С меки корици
common.buy 18.69 € 36.55 лв
Biblisch-theologisches Wörterbuch der neutestamentlichen Gräzität Hermann Cremer / Книга С меки корици
common.buy 34.94 € 68.34 лв
Antología poética Pedro Salinas / Книга С меки корици
common.buy 14.75 € 28.85 лв
Plateforme D cisionnelle Pour Les Achats Et Approvisionnements Rafya-A / Книга С меки корици
common.buy 34.06 € 66.62 лв
Most přes řeku Styx Quirin Jedlička / Книга С меки корици
common.buy 7.55 € 14.77 лв
Mediko-geneticheskoe konsul'tirovanie i profilaktika insul'ta Ol'ga Sidorova / Книга С меки корици
common.buy 31.22 € 61.05 лв
Manejo da irrigacao na cultura da canola (brassica napus l.) no Brasil Carolina Bilibio / Книга С меки корици
common.buy 48.30 € 94.47 лв

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

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

Desire for Society H. G. Furth / Книга С твърди корици
common.buy 108.67 € 212.54 лв
Alien Next Door 6: The Mystery Valentine A. I. Newton / Книга С твърди корици
common.buy 16.67 € 32.60 лв
International Yearbook of Industrial Statistics 2018 UNIDO / Книга С твърди корици
common.buy 406.12 € 794.30 лв
Our Nation in Decline Tom Hopper / Книга С меки корици
common.buy 6.78 € 13.26 лв
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.63 € 30.57 лв
Aesthetic Surgery of the Craniofacial Skeleton Li Min M.D . / Книга С твърди корици
common.buy 103.13 € 201.71 лв
Encyclopedia of Environmental Protection and Management: Volume IV Chuck Lancaster / Книга С твърди корици
common.buy 129.48 € 253.25 лв
Get Your Money Right: The 7 Keys to Unlocking a Better Financial Future Kembala Evans / Книга С меки корици
common.buy 19.72 € 38.57 лв
Ver-Non-Semper-Viret. Memorial of Admiral Vernon WILLIAM FRED VERNON / Книга С твърди корици
common.buy 31.63 € 61.86 лв
Fanatism Dr Samar / Книга С меки корици
common.buy 16.36 € 31.99 лв
A Latin Vocabulary: Arranged On Etymological Principles As An Exercise Book And First Latin Dictionary (1848) Benjamin Hall Kennedy / Книга С твърди корици
common.buy 37.32 € 73.00 лв
Storytelling Phebe Cramer / Книга С твърди корици
common.buy 94.90 € 185.60 лв
Retreat to the Reich Samuel W. Mitcham / Книга С меки корици
common.buy 17.65 € 34.52 лв
Visit to the Farm Michael Morpurgo / Книга С меки корици
common.buy 9.99 € 19.53 лв
Maat and Ancient Egyptian Magic Mari Silva / Книга С твърди корици
common.buy 24.59 € 48.09 лв
Подготвяме
Report of the Joint Inspection Unit for 2008 and Programme of Work for 2009 United Nations: Joint Inspection Unit / Книга С меки корици
common.buy 13.72 € 26.82 лв
The Awful German Language Mark Twain / Книга С твърди корици
common.buy 13.87 € 27.13 лв
Night Before Christmas Clement C Moore & Corinne Malvern / Книга Дипляна
common.buy 6.98 € 13.66 лв
Myth of Liberal Ascendancy G Williams Domhoff / Книга С меки корици
common.buy 56.59 € 110.67 лв
Numerical Methods for Differential Equations, Optimization, and Technological Problems Sergei Repin / Книга С твърди корици
common.buy 162.88 € 318.56 лв
Comparative Constitutional Design Tom Ginsburg / Книга С меки корици
common.buy 64.04 € 125.25 лв

Вход

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

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

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

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

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