Static Analysis

Angebote / Angebote:

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.

Folgt in ca. 5 Arbeitstagen

Preis

69,00 CHF

Verfügbarkeit:

Lieferbar

Produktinformation
Kundenbewertungen

Produktinformation

Artikelnummer 9783540634683
Status Folgt in ca. 5 Arbeitstagen
Autor Hentenryck, Pascal van
Einband Kartonierter Einband (Kt)
Sprache eng
Seiten 432
Verlag Springer Berlin Heidelberg
Reihe Lecture Notes in Computer Science
Publikationsjahr 19970827

Kundenbewertungen

Dieser Artikel hat noch keine Bewertungen.