Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Static Analysis: 4th International Symposium, SAS 97, Paris, France, September 8-10, 1997, Proceedings

-15% su kodu: ENG15
71,98 
Įprasta kaina: 84,68 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
71,98 
Įprasta kaina: 84,68 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
2025-02-28 84.6800 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 10,00 

Knygos aprašymas

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.

Informacija

Serija: Lecture Notes in Computer Science
Leidėjas: Springer Berlin Heidelberg
Išleidimo metai: 1997
Knygos puslapių skaičius: 432
ISBN-10: 3540634681
ISBN-13: 9783540634683
Formatas: 235 x 155 x 24 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Static Analysis: 4th International Symposium, SAS 97, Paris, France, September 8-10, 1997, Proceedings“

Būtina įvertinti prekę

Goodreads reviews for „Static Analysis: 4th International Symposium, SAS 97, Paris, France, September 8-10, 1997, Proceedings“