[email protected]
LIBRISTO 0
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв Speedy office 11 лв Speedy 13 лв ЕКОНТ 6 лв Еконтомат/Офис на Еконт 6 лв
phone Контакт phoneКак се пазарува?

Static Analysis

Език Английски езикАнглийски език
Книга С меки корици
Книга Static Analysis Roberto Giacobazzi
Код Либристо: 01559682
Издателство Springer, Berlin, ноември 2003
This book constitutes the refereed proceedings of the 11th International Symposium on Static Analysi... Цялото описание
? points 165 b
127 лв
Външен склад в ограничено количество Изпращаме след 10-14 дни

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

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

ПОДГОТВЯМЕ
Das große Buch der Fahrzeugpflege Christian Petzoldt / С меки корици
common.buy 29 лв
Bauplan-Kollektion für Einsteiger und Profis. Bd.1 / С меки корици
common.buy 28 лв
Das Getreidesieb Vera Redwitz / С меки корици
common.buy 20 лв
Zaungast ermittelt in der Pattstrasse Werner Fletcher / С меки корици
common.buy 42 лв
Genders, Races, and Religious Cultures in Modern American Poetry, 1908-1934 Rachel Blau DuPlessis / С меки корици
common.buy 110 лв
Disorders of the Platelets, An Issue of Hematology/Oncology Clinics of North America A Koneti Rao / С твърди корици
common.buy 165 лв
Competitive-cum-Cooperative Interfirm Relations and Dynamics in the Japanese Semiconductor Industry Yoshitaka Okada / С твърди корици
common.buy 229 лв
Kooperation Ungarns und Rumaniens mit dem Deutschen Reich 1933-1945 - Struktureller Zwang oder Bandwagoning for Profit? Toni Jost / С меки корици
common.buy 81 лв
Macromolecular Crystallography Protocols, Volume 2 Sylvie Doublie / С твърди корици
common.buy 250 лв
Seminarunterlage Word 2003 Tipps und Tricks Michel Beger / С меки корици
common.buy 127 лв
Jerusalem Selma Lagerlöf / С меки корици
common.buy 61 лв
Der Urlaubshund Carina Babinsky / С меки корици
common.buy 26 лв
Pineal Organ, Its Hormone Melatonin, and the Photoneuroendocrine System Werner Korf / С меки корици
common.buy 250 лв

This book constitutes the refereed proceedings of the 11th International Symposium on Static Analysis, SAS 2004, held in Verona, Italy in August 2004.The 23 revised full papers presented with an invited paper and abstracts of 3 invited talks were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on program and systems verification, security and safety, pointer analysis, abstract interpretation and algorithms, shape analysis, abstract domain and data structures, shape analysis and logic, and termination analysis.

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

Пълно заглавие Static Analysis
Автор Roberto Giacobazzi
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2004
Брой страници 396
Баркод 9783540227915
ISBN 3540227911
Код Либристо 01559682
Издателство Springer, Berlin
Тегло 620
Размери 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 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

Създаване на акаунт за Libristo