Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 9783540423140
Price: 1147 CZK
Availability: InStock

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

Autor: Patrick Cousot

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis...

Informace o knize

Autor

Patrick Cousot

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2001

Stránek

439

EAN

9783540423140

ISBN

3540423141

Enbook ID

01563611

Vydavatel

Springer, Berlin

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

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

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Static Analysis

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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