Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Static Analysis Giorgio Levi

Static Analysis

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

Autor: Giorgio Levi
Język: Angielski
Oprawa: Miękka
Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.42 zł
This volume contains the proceedings of the 1998 international symposium on staticanalysis(SAS 98)wh...

Informacje o książce

Autor
Giorgio Levi
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
1998
strony
394
EAN
9783540650140
ISBN
3540650148
Enbook ID
02710691
Wydawca
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga
1250
Wymiary
155 x 235 x 22

Pełny opis

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 .

Możesz być zainteresowany

Good And Cheap

Leanne Brown
55.87 zł

Objects of Empire

Tamara L. Bray
296.15 zł

Moriah

Rob Simpson
49.93 zł

Wolves and Foxes in the Wild Fun Facts

Baby Professor
46.72 zł

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

Mira Wilkins
608.18 zł

Augusta Leigh

Michael Bakewell
124.51 zł

Active Anarchy

Jeffrey Shantz
599.90 zł

Numicon: Extra Numicon 1-shapes

Oxford University Press
28.71 zł

Contemporary Musicians

Suzanne M. Bourgoin
1 177.52 zł

Right to Die

Tamara Thompson
130.54 zł

Klienci, którzy kupili tę książkę, kupili również

Die Juristischen Staatsprufungen

Paul Sattelmacher
218.17 zł

Den Himmel gibt's echt, 4 Audio-CDs

Lynn Vincent
39.61 zł

Dynamique Triangulaire de la Vie

JACQUES BE BOISL VE
122.56 zł

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

BOMPARD-A
63.86 zł

Vom fragenden Jungen zum Andersdenkenden

Gerd Keil
86.35 zł

Morový testament

Vlastimil Vondruška
73.10 zł

Výbušné dítě

Ross W. Greene
49.64 zł