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

10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Verification, Model Checking, and Abstract Interpretation Neil D. Jones
Код Либристо: 01571263
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, декември 2008
The book constitutes the refereed proceedings of the 10th International Conference on Verification,... Цялото описание
? points 132 b
54.47 €
106.54  лв
Външен склад Изпращаме след 5-8 дни

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

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

Correlaciones entre la personalidad y el rendimiento académico de los adolescentes / Книга С меки корици
common.buy 34.95 € 68.36 лв
Geheime Liebe auf Sylt Gabriele Diechler / Книга С меки корици
common.buy 11.49 € 22.48 лв
Pověsti Čech, Moravy a Slezska August Sedláček / Книга С твърди корици
common.buy 9.58 € 18.73 лв
Tantrická masáž Kalashatra Govinda / Книга С твърди корици
common.buy 20.09 € 39.29 лв
Neumírej před smrtí Jevgenij Jevtušenko / Книга binding.
common.buy 9.47 € 18.52 лв
Death note. Short stories Tsugumi Ohba / Книга С меки корици
common.buy 9.47 € 18.52 лв
Anekdòt -2 Bob Lapierre / Книга С меки корици
common.buy 43.13 € 84.36 лв
Schweizerdeutsch und Sprachbewusstsein Emanuel Ruoss / Книга С меки корици
common.buy 29.77 € 58.23 лв
Quer durch Athen Petros Markaris / Книга С меки корици
common.buy 11.59 € 22.68 лв
Potigny - au siècle des mineurs Benjamin / Книга С твърди корици
common.buy 32.41 € 63.39 лв
Blattwerk Deutsch - Texte, 5/6 AHS Johannes Gaisböck / Книга С меки корици
common.buy 21.07 € 41.21 лв
Drácula superstar JULIO PEREZ MANZANARES / Аудио Аудио компактдиск
common.buy 24.59 € 48.10 лв
La vuelta al mundo en 80 días GERONIMO STILTON / Книга С меки корици
common.buy 14.75 € 28.86 лв
C. G. J. Jacobi's Gesammelte Werke Carl Gustav Jacob JacobiKarl Weierstrass / Книга С меки корици
common.buy 78.29 € 153.13 лв
Management et fidélisation des saisonniers en hôtellerie Hervé Cabantous / Книга С меки корици
common.buy 42.51 € 83.14 лв
Wahrnehmung der Qualitat der Abschlussprufung Johanna Souad Qandil / Книга С меки корици
common.buy 66.18 € 129.43 лв
Подготвяме
Das Orakel vom Berge Philip K. Dick / Книга С меки корици
common.buy 9.68 € 18.93 лв
Quantifizierung Operationeller Risiken Christian Bohlender / Книга С меки корици
common.buy 52.61 € 102.89 лв
Die Wahrheit über mich - Das Fragespiel David Tripolina / Игра/играчка Игра
common.buy 8.18 € 15.99 лв
Processus d'Impression Textiles Zouhaier Romdhani / Книга С меки корици
common.buy 43.44 € 84.97 лв

The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages.§The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.

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

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

Пълно заглавие Verification, Model Checking, and Abstract Interpretation
Автор Neil D. Jones, Markus Müller-Olm
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2008
Брой страници 381
Баркод 9783540938996
ISBN 3540938990
Код Либристо 01571263
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 605
Размери 155 x 235 x 23

Категории

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 > Computer architecture & logic design
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Diagram Geometry Buekenhout / Книга С меки корици
common.buy 119.52 € 233.75 лв
Writing What People Buy Anne Hart / Книга С меки корици
common.buy 19.47 € 38.07 лв
Level 5: On the Road Jack Kerouac / Книга С меки корици
common.buy 14.18 € 27.74 лв
Frightened Kitten Holly Webb / Книга С меки корици
common.buy 7.09 € 13.87 лв
Israel Jack Altman / Книга С меки корици
common.buy 5.95 € 11.64 лв
Early Scenes In Church History: The Faith-Promoting Series Book 8 George Q Cannon / Книга С меки корици
common.buy 8.54 € 16.70 лв
FEMALE ADOLESCENT FRIENDSHIP and THE CONSTRUCT OF IDENTITY Kristin Van Namen / Книга С меки корици
common.buy 61.72 € 120.72 лв
Top
The Sopranos Family Cookbook Artie Bucco / Книга С твърди корици
common.buy 25.63 € 50.13 лв
Alfred Dudley: Or The Australian Settlers Sarah Porter / Книга С твърди корици
common.buy 39.25 € 76.76 лв
Between Facts and Norms - Contributions to a Discourse Theory of Law and Democracy Jürgen Habermas / Книга С меки корици
common.buy 28.32 € 55.39 лв
Hours Of Solitude A Collection Of Original Poems Volume 1 Charlotte Dacre / Книга С меки корици
common.buy 20.29 € 39.69 лв
Chess Player's Bible James Eade & Al Lawrence / Книга С твърди корици
common.buy 18.22 € 35.64 лв
Romance without fiction Henry Bleby / Книга С меки корици
common.buy 34.95 € 68.36 лв
Transactions of the ... Annual Reunion of the Oregon Pioneer Association, Volumes 3-14 Oregon Pioneer Association Reunion / Книга С твърди корици
common.buy 50.64 € 99.05 лв
In a Perfect World Trish Doller / Книга С твърди корици
common.buy 18.17 € 35.54 лв
The Rising Kelley Armstrong / Книга С меки корици
common.buy 9.94 € 19.44 лв
The Other Side of the River: A Story of Two Towns, a Death, and America's Dilemma Alex Kotlowitz / Книга С меки корици
common.buy 17.19 € 33.62 лв
Walking Words Eduardo Galeano / Книга С меки корици
common.buy 21.18 € 41.42 лв
Изгодно
Pyramid Schemes: A Tale of Sir Apropos of Nothing Peter David / Книга С меки корици
common.buy 6.42 € 12.55 лв
'Kubla Khan' and the Fall of Jerusalem E. S. Shaffer / Книга С меки корици
common.buy 66.12 € 129.33 лв
Top
Fall I Want PARISH LYRA / Книга С меки корици
common.buy 11.54 € 22.58 лв
Writing Around the World Matthew McCool / Книга С твърди корици
common.buy 222.21 € 434.60 лв
Dragon Rider Taran Matharu / Книга С твърди корици
common.buy 19.31 € 37.77 лв

Вход

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

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

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

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

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