Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Static Analysis Giorgio Levi

Static Analysis

5th International Symposium, Pisa, Italy, September 14-16, 1998. Proceedings

Szerző: Giorgio Levi
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 305 Ft
This volume contains the proceedings of the 1998 international symposium on staticanalysis(SAS 98)wh...

Információk a könyvről

Szerző
Giorgio Levi
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
1998
oldal
394
EAN
9783540650140
ISBN
3540650148
Enbook ID
02710691
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
1250
Méretek
155 x 235 x 22

Teljes leírás

This volume contains the proceedings of the 1998 international symposium on staticanalysis(SAS 98)whichwasheldinPisa(Italy),onSeptember14-16,1998 and was part of a federated conference with ALP-PLILP 98 and several wo- shops. SAS 98isthe annualconferenceandforumforresearchersinallaspectsof staticanalysis. ItfollowstoSAS 94,SAS 95,SAS 96andSAS 97whichwereheld respectively in Namur (Belgium), Glasgow (UK), Aachen (Germany) and Paris (France), and the international workshops WSA 92 held in Bordeaux (France) and WSA 93 held in Padova (Italy). In response to the call for papers, 48 papers were submitted. All papers were reviewed by at least three reviewers and the program committee met in Pisa to select 20 papers based on the referee reports. There was a consensus at the meeting that the technical papers were of very high quality. In addition to the submitted papers, SAS 98 had a number of outstanding invited speakers. Roberto Giacobazzi, Peter Lee, Amir Pnueli, Dave Schmidt, Scott Smolka, and Bernhard Ste?en accepted our invitation to give invited talks or tutorials. Some ofthepapers(orabstracts)basedonthesetalksarealsoincludedin thisvolume. SAS 98 has been fortunate to rely on a number of individuals and orga- zations. I want to thank all the program committee members and referees, for their hard work in producing the reviews and for such a smooth and enj- able programcommittee meeting. Special thanks go to the conference chairman, Maurizio Gabbrielli, and to my students in Pisa who helped me a lot. More s- cial thanks go to Vladimiro Sassone, who made available to SAS 98 his excellent system for handling submissions and reviews on the web, and to Ernesto Lastres andRen` eMorenowhoweremy systemmanagers .

Érdekelheti

Good And Cheap

Leanne Brown
5 147 Ft

Objects of Empire

Tamara L. Bray
26 455 Ft

Moriah

Rob Simpson
4 519 Ft

Wolves and Foxes in the Wild Fun Facts

Baby Professor
4 308 Ft

Free-Standing Company in the World Economy, 1830-1996

Mira Wilkins
54 337 Ft

Augusta Leigh

Michael Bakewell
11 190 Ft

Active Anarchy

Jeffrey Shantz
52 458 Ft

Numicon: Extra Numicon 1-shapes

Oxford University Press
2 502 Ft

Contemporary Musicians

Suzanne M. Bourgoin
105 485 Ft

Right to Die

Tamara Thompson
11 656 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Die Juristischen Staatsprufungen

Paul Sattelmacher
19 834 Ft

Den Himmel gibt's echt, 4 Audio-CDs

Lynn Vincent
3 595 Ft

Dynamique Triangulaire de la Vie

JACQUES BE BOISL VE
11 047 Ft

Considerations Sur Quelques Maladies de l'Encephale Et de Ses Dependances

BOMPARD-A
5 756 Ft

Vom fragenden Jungen zum Andersdenkenden

Gerd Keil
7 222 Ft

Morový testament

Vlastimil Vondruška
6 115 Ft

Výbušné dítě

Ross W. Greene
4 308 Ft