Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 9783540617396
Price: 19080 HUF
Availability: InStock

Third International Symposium, Aachen, Germany, September 24-26, 1996. Proceedings

Szerző: Radhia Cousot, David A. Schmidt

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 080 Ft

This book constitutes the refereed proceedings of the Third International Static Analysis Symposium,...

Információk a könyvről

Szerző

Radhia Cousot, David A. Schmidt

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1996

oldal

398

EAN

9783540617396

ISBN

3540617396

Enbook ID

05274620

Kiadó

Springer, Berlin

Súly

524

Méretek

156 x 234 x 21

Teljes leírás

This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and constraint programming.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Static Analysis

Third International Symposium, Aachen, Germany, September 24-26, 1996. Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták