Static Analysis

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

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

Автор: Patrick Cousot

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

52.83 € 103.32 лв

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

Информация за книгата

Автор

Patrick Cousot

Език

Английски език

Корици

Книга - С меки корици

Издадена

2001

страници

439

EAN

9783540423140

ISBN

3540423141

Enbook ID

01563611

Издател

Springer, Berlin

Теглоt

635

Размери

155 x 235 x 23

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Static Analysis

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

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също