Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 01563611
Price: 219.03 PLN
Availability: InStock
Author: Patrick Cousot
ISBN: 9783540423140

8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings

Patrick Cousot

Język

Angielski

Książka Miękka

Kod Libristo: 01563611

Wydawnictwo Springer, Berlin, listopad 2000

This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis... Cały opis

Kod Libristo: 01563611

125 b

219.03 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

El Born CC GARCIA ESPUCHE

Książka

69.86 zł

Malá noční můra Ondřej Červinka

Miękka

4.51 zł

Legge sull'edilizia e lo sviluppo, Consiglio di pianificazione dello sviluppo regionale Dr. Ir. Juni Gultom

Miękka

260.19 zł

Золото в темной ночи (Потомки Первых #1) Лия Арден

Twarda

92.55 zł

Louca - Tome 10 - L'histoire de Nathan Dequier Bruno

Twarda

75.38 zł

Die Rezeption des kontinental-europäischen Privatrechts in Lateinamerika Thilo Scholl

Miękka

315.90 zł

mezzi di trasporto. Baby Montessori Agnese Baruzzi

Leporelo

21.67 zł

Probleme und Entwicklungen der Dienstleistungshaftung im griechischen, deutschen und Gemeinschaftsrecht. Emmanuela Truli

Miękka

404.94 zł

Jeder stirbt für sich allein, 2 Audio-CDs Hans Fallada

CD Audio

75.18 zł

Standortwettbewerb und Tourismus Harald Pechlaner

Miękka

150.17 zł

Handbuch Der Architektur, 2 Band Anonymous

Miękka

93.35 zł

This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, France, in July 2001.The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 62 submissions; also included are 5 abstracts of an invited session on security. The papers are organized in topical sections on program transformation, strictness and termination, semantics abstraction, logic and constraint programming, data structures, pointer analysis, model checking, and abstract model checking.