Над 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: 05274344
Price: 54.42 EUR
Availability: InStock
Author: Patrick Cousot
ISBN: 9783540572640

Third International Symposium, SAS '93, Padova, Italy, September 22-24, 1993. Proceedings

Език

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

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

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

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

This volume constitutes the proceedings of the third International Workshop on Static Analysis (WSA`... Цялото описание

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

132 b

54.42 €

106.43 лв

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

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

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

Benvenuta Daniela Berti

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

34.50 € 67.48 лв

Die verbesserte Frau Barbara Kirchner

С меки корици

15.67 € 30.65 лв

El rector de Vallfogona SERES AGUILAR

С меки корици

23.38 € 45.72 лв

LES VOILES DE SAINT TROPEZ Bernard Prevost

С меки корици

14.27 € 27.92 лв

LA COMMUNE DE PARIS, 18 MARS-28 MAI 1871. UNE TRAGEDIE FRANCO-FRANCAISE BIDOUZE FREDERIC Книга

С меки корици

22.76 € 44.51 лв

Tous partenaires de liberté - Pour en finir avec la souffrance et le rôle de victime Diane Gagnon

С меки корици

26.22 € 51.29 лв

To lato będzie inne Fortune Carley

С меки корици

12.51 € 24.47 лв

Calendrier mural 2016 Michael Jackson collegium

Със спирала

20.33 € 39.75 лв

Dictionnaire Du Notariat. Tome 2 BELLOT-J

С меки корици

47.17 € 92.27 лв

Gruselkabinett - Die Katze und der Kanarienvogel, 2 Audio-CD John Willard

Аудио компактдиск

19.60 € 38.34 лв

Price Iz Geta Dejan Jovanovic

С меки корици

21.15 € 41.37 лв

Syd Barrett und Pink Floyd Mike Watkinson

С меки корици

18.00 € 35.20 лв

Guyane Francaise Et l'Ordre de Saint-Joseph de Cluny BERNARD-L

С меки корици

15.51 € 30.34 лв

Gotthold Ephraim Lessings Leben, Karl Gotthelf Lessing

С меки корици

30.21 € 59.08 лв

Los afrodisíacos naturales Kurt Hostettmann

С меки корици

15.51 € 30.34 лв

Cantigas y cárceles Juan Manuel Macías Chain

С меки корици

15.67 € 30.65 лв

Bum Bum Tschack. Bd.2 Gerwin Eisenhauer

Ноти

22.29 € 43.60 лв

Oeuvres de Moliere. Tome 5 (Ed.1873-1900) Moliere

С меки корици

36.16 € 70.71 лв

This volume constitutes the proceedings of the third International Workshop on Static Analysis (WSA`93), held in Padova, Italy, in September 1993. The objective of the international workshop series WSA is to serve as a forum forthe discussion of the various aspects of static analysis indifferent programming paradigms. The clearly increasing numbers of submitted papers and workshop participants point out the growing importance of static analysis techniques forlogical, functional, concurrent and parallel languages as well as for parallel term rewriting systems. This proceedings contains, besides the abstracts or fullpapers of the invited talks given by Pascal Van Hentenryck, Peter van Roy, and Paul Hudak, full versions of the 20 contributed papers selected from a total of 68 submissionsby an international program committee consisting of many renown researchers in the field. The volume is organized in sections on fixpoint computation, concurrency, parallelism, transformation, logic programs, term rewriting systems, strictness, reasoning about programs, and types.