Verwandte Artikel zu Static Analysis: 4th International Symposium, SAS '97,...
Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings: 1302 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 58,05
EUR 13,74 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Suchergebnisse für Static Analysis: 4th International Symposium, SAS '97,...
Beispielbild für diese ISBN
Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings (Lecture Notes in Computer Science, 1302)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540634683_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Static Analysis : 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9783540634683
Anzahl: 1 verfügbar