Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha Static Analysis Giorgio Levi

Static Analysis

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

Autor: Giorgio Levi
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.14 €
This volume contains the proceedings of the 1998 international symposium on staticanalysis(SAS 98)wh...

Informácie o knihe

Autor
Giorgio Levi
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
1998
Stránok
394
EAN
9783540650140
ISBN
3540650148
Enbook ID
02710691
Vydavateľ
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnosť
1250
Rozmery
155 x 235 x 22

Kompletný popis

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 .

Mohlo by vás zaujímať

Good And Cheap

Leanne Brown
12.36 €

Objects of Empire

Tamara L. Bray
66.92 €

Moriah

Rob Simpson
11.18 €

Wolves and Foxes in the Wild Fun Facts

Baby Professor
10.30 €

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

Mira Wilkins
137.39 €

Augusta Leigh

Michael Bakewell
29.33 €

Active Anarchy

Jeffrey Shantz
141.51 €

Numicon: Extra Numicon 1-shapes

Oxford University Press
6.76 €

Contemporary Musicians

Suzanne M. Bourgoin
265.56 €

Right to Die

Tamara Thompson
29.53 €

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Die Juristischen Staatsprufungen

Paul Sattelmacher
51.52 €

Den Himmel gibt's echt, 4 Audio-CDs

Lynn Vincent
9.31 €

Dynamique Triangulaire de la Vie

JACQUES BE BOISL VE
27.47 €

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

BOMPARD-A
14.32 €

Vom fragenden Jungen zum Andersdenkenden

Gerd Keil
20.40 €

Morový testament

Vlastimil Vondruška
16.67 €

Výbušné dítě

Ross W. Greene
13.27 €