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

Static Analysis

Third International Symposium, Aachen, Germany, September 24-26, 1996. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Static Analysis Radhia Cousot
Код Либристо: 05274620
Издателство Springer, Berlin, ноември 1995
This book constitutes the refereed proceedings of the Third International Static Analysis Symposium,... Цялото описание
? points 132 b
54.46 €
106.52  лв
Външен склад Изпращаме след 5-8 дни

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

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

Une politique europeenne Etienne Grosclaude / Книга С твърди корици
common.buy 17.13 € 33.51 лв
Rapport Sur Le Prix Le Dissez de Penanrun: Lu Dans La Seance Du 18 Mai 1899 Sans Auteur / Книга С меки корици
common.buy 12.73 € 24.90 лв
Dragon Ball Z. Saiyanos 03 Daruma Serveis Lingüístics / Книга С меки корици
common.buy 15.63 € 30.57 лв
Keine Angst vor Bakterien! Max O. Bruker / Книга С меки корици
common.buy 15.22 € 29.76 лв

This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and constraint programming.

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

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

Пълно заглавие Static Analysis
Автор Radhia Cousot, David A. Schmidt
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1996
Брой страници 398
Баркод 9783540617396
ISBN 3540617396
Код Либристо 05274620
Издателство Springer, Berlin
Тегло 524
Размери 156 x 234 x 21

Категории

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

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

TAX HAVENS Kacou Antoine N'zi / Книга С меки корици
common.buy 65.02 € 127.18 лв
Multicultural Behavior and Global Business Environments Kamal Dean Parhizgar / Книга С твърди корици
common.buy 72.17 € 141.15 лв
What's the Weather? Shelley Rotner / Книга С твърди корици
common.buy 16.46 € 32.19 лв
Butchered Dreams Hadena James / Книга С меки корици
common.buy 14.85 € 29.05 лв
Fields of Praise Marilyn Nelson / Книга С меки корици
common.buy 32.72 € 63.99 лв
Observations on the Disturbances in the Madras Army in 1809 Malcolm / Книга С твърди корици
common.buy 33.60 € 65.71 лв
Thoughts and Commentary Dale L Netherton / Книга С твърди корици
common.buy 32.72 € 63.99 лв
Great Sea David Abulafia / Книга С меки корици
common.buy 19.88 € 38.87 лв
productivity and profitability of intercropping in rabi cereal, legume, oilseeds, and spices under rice (Oryza sativa L.) based cropping system Manish Kumar Singh / Книга С меки корици
common.buy 45.35 € 88.70 лв
Language, Print and Electoral Politics, 1790-1832 Hannah Barker / Книга С твърди корици
common.buy 83.40 € 163.12 лв
Children's Literature Review Tom Burns / Книга С твърди корици
common.buy 610.73 € 1 194.49 лв
Remaking governance Janet Newman / Книга С меки корици
common.buy 43.12 € 84.34 лв
Time-Dependent Fracture A.S. Krausz / Книга С меки корици
common.buy 54.46 € 106.52 лв
Generalist Practice with Organizations and Communities, International Edition Grafton H Hull / Книга С меки корици
common.buy 118.56 € 231.88 лв

Вход

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

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

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

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

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