Static Analysis - 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings (Paperback, 1997 ed.)

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1302
Release date:	August 1997
First published:	1997
Editors:	Pascal Van Hentenryck
Dimensions:	279 x 216 x 22mm (L x W x T)
Format:	Paperback
Pages:	424
Edition:	1997 ed.
ISBN-13:	978-3-540-63468-3
Categories:	Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General Books > Computing & IT > Computer programming > Programming languages > General
LSN:	3-540-63468-1
Barcode:	9783540634683

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!