Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 01567459
Price: 54.42 EUR
Availability: InStock
Author: Jens Palsberg
ISBN: 9783540676683

7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings

Jens Palsberg

Език

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

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

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

Издателство Springer, Berlin, ноември 1999

This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, S... Цялото описание

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

132 b

54.42 €

106.43 лв

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

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

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

No Code Pearl Jam Аудио

Аудио плоча

45.00 € 88.02 лв

Sahabeden 101 Hatira Mehmet Yasar Kandemir

С меки корици

12.88 € 25.18 лв

La guerre de Secession. L'Union dechiree Romain Parmentier

С меки корици

14.38 € 28.12 лв

This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, SAS 2000, held in Santa Barbara, CA, USA, in June/July 2000.§The 20 revised full papers presented were carefully reviewed and selected from 52 submissions. Also included are 2 invited full papers. All current aspects of high-performance implementation and verification of programming languages are addressed, in particular object logics, model checking, constraint solving, abstract interpretation, program transformation, rewriting, confidentiality analysis, typed languages, unified analysis, code optimization, termination, code specialization, and guided abstraction.