Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 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 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02340914
Price: 54.47 EUR
Availability: InStock
Author: Kenneth McMillan
ISBN: 9783642540127

15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Kenneth McMillan

Xavier Rival

Език

Английски език

Книга С меки корици

Код Либристо: 02340914

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, януари 2014

This book constitutes the refereed proceedings of the 15th International Conference on Verification,... Цялото описание

Код Либристо: 02340914

132 b

54.47 €

106.54 лв

Външен склад Изпращаме след 5-8 дни

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

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

No Me Maltrates = Do Not Mistreat Me Bernardo Stamateas

С меки корици

20.29 € 39.69 лв

Hexen und Magie Johannes Dillinger

С меки корици

25.11 € 49.11 лв

Je ne veux pas mourir idiot Georges Wolinski

С меки корици

13.72 € 26.83 лв

This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of 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 за

Пусни видеото

В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

Пълно заглавие Verification, Model Checking, and Abstract Interpretation

Автор Kenneth McMillan, Xavier Rival

Език

Английски език

Корици Книга - С меки корици

Дата на издаване 2014

Брой страници 493

Баркод 9783642540127

ISBN 3642540120

Код Либристо 02340914

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Тегло 7664

Размери 155 x 235 x 28

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

Subnational Population Estimates David A. Swanson

С твърди корици

195.43 € 382.24 лв

London and Westminster Improved, Illustrated by Plans: To Which is Prefixed, a Discourse on Publick Magnificence, With Observations on the State of Ar Samuel Johnson

С меки корици

19.36 € 37.87 лв