Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 9783540423140
Price: 212.42 PLN
Availability: InStock

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

Autor: Patrick Cousot

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

212.42 zł

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

Informacje o książce

Autor

Patrick Cousot

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2001

strony

439

EAN

9783540423140

ISBN

3540423141

Enbook ID

01563611

Wydawca

Springer, Berlin

Waga

635

Wymiary

155 x 235 x 23

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Static Analysis

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również