Kniha Static Analysis Patrick Cousot

Static Analysis

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

Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2001
Stránek
439
EAN
9783540423140
ISBN
3540423141
Enbook ID
01563611
Vydavatel
Hmotnost
635
Rozměry
155 x 235 x 23

Kompletní popis

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.

Mohlo by vás zajímat

1 203

The Book of Hallowe'en

Ruth Edna Kelley
218
600
460
563
1 203
516
359
3 587
306

Microorganisms in Foods 5

International Commission on Microbiological Specifications for Foods (ICMSF)
7 293

White Cliffs

Bettine Manktelow
372

Advances in Gabor Analysis

Hans G. Feichtinger
2 286

Zákaznicí kteří koupili tuto knihu koupili také

El Born CC

GARCIA ESPUCHE
387

Malá noční můra

Ondřej Červinka
26
831