Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 9783540423140
Price: 50.14 EUR
Availability: InStock

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

Autor: Patrick Cousot

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.14 €

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

Informácie o knihe

Autor

Patrick Cousot

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2001

Stránok

439

EAN

9783540423140

ISBN

3540423141

Enbook ID

01563611

Vydavateľ

Springer, Berlin

Hmotnosť

635

Rozmery

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 zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Static Analysis

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež