Könyv Static Analysis Radhia Cousot

Static Analysis

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

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 305 Ft
This book constitutes the refereed proceedings of the Third International Static Analysis Symposium,...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
1996
oldal
398
EAN
9783540617396
ISBN
3540617396
Enbook ID
05274620
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

TAX HAVENS

Kacou Antoine N'zi
23 089 Ft

What's the Weather?

Shelley Rotner
5 532 Ft

Butchered Dreams

Hadena James
5 514 Ft

Fields of Praise

Marilyn Nelson
12 042 Ft

Thoughts and Commentary

Dale L Netherton
12 042 Ft

Great Sea

David Abulafia
7 092 Ft
215 311 Ft
16 095 Ft
19 305 Ft

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

Une politique europeenne

Etienne Grosclaude
6 070 Ft

Dragon Ball Z. Saiyanos 03

Daruma Serveis Lingüístics
5 147 Ft
5 416 Ft