Menu
Află starea comenzii
Contactați-ne
Carte Static Analysis Giorgio Levi

Static Analysis

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

Autor: Giorgio Levi
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
277.44 lei
This volume contains the proceedings of the 1998 international symposium on staticanalysis(SAS 98)wh...

Informații despre carte

Autor
Giorgio Levi
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
1998
Pagini
394
EAN
9783540650140
ISBN
3540650148
Enbook ID
02710691
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutate
1250
Dimensiuni
155 x 235 x 22

Descriere completă

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 .

S-ar putea să te intereseze

Good And Cheap

Leanne Brown
73.53 lei

Objects of Empire

Tamara L. Bray
382.74 lei

Moriah

Rob Simpson
65.03 lei

Wolves and Foxes in the Wild Fun Facts

Baby Professor
61.49 lei

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

Mira Wilkins
785.92 lei

Augusta Leigh

Michael Bakewell
161.53 lei

Active Anarchy

Jeffrey Shantz
777.22 lei

Numicon: Extra Numicon 1-shapes

Oxford University Press
37.11 lei

Contemporary Musicians

Suzanne M. Bourgoin
1 524.21 lei

Right to Die

Tamara Thompson
168.71 lei

Clienții care au cumpărat această carte au mai cumpărat și

Die Juristischen Staatsprufungen

Paul Sattelmacher
285.03 lei

Den Himmel gibt's echt, 4 Audio-CDs

Lynn Vincent
51.78 lei

Dynamique Triangulaire de la Vie

JACQUES BE BOISL VE
159.20 lei

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

BOMPARD-A
82.93 lei

Vom fragenden Jungen zum Andersdenkenden

Gerd Keil
107.01 lei

Morový testament

Vlastimil Vondruška
90.52 lei

Výbušné dítě

Ross W. Greene
65.33 lei