Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 9783540634683
Price: 277.75 RON
Availability: InStock

4th International Symposium, Paris, France, September 8-10, 1997. Proceedings

Autor: Pascal Van Hentenryck

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

277.75 lei

This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, S...

Informații despre carte

Autor

Pascal Van Hentenryck

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1997

Pagini

424

EAN

9783540634683

ISBN

3540634681

Enbook ID

05274747

Editura

Springer, Berlin

Greutate

551

Dimensiuni

216 x 279 x 22

Descriere completă

This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997.The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Also included are one system demonstration, three posters, and six invited contributions by leading scientists. The papers are organized in topical sections on procedural languages, logic programming, concurrency, and termination.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Static Analysis

4th International Symposium, Paris, France, September 8-10, 1997. Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și