Menu
Zjistit 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
Vazba: Brožovaná
Vydavatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147 Kč
This volume contains the proceedings of the 1998 international symposium on staticanalysis(SAS 98)wh...

Informace o knize

Autor
Giorgio Levi
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
1998
Stránek
394
EAN
9783540650140
ISBN
3540650148
Enbook ID
02710691
Vydavatel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnost
1250
Rozměry
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 zajímat

Good And Cheap

Leanne Brown
299 Kč

Objects of Empire

Tamara L. Bray
1 619 Kč

Moriah

Rob Simpson
271 Kč

Wolves and Foxes in the Wild Fun Facts

Baby Professor
250 Kč

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

Mira Wilkins
3 324 Kč

Augusta Leigh

Michael Bakewell
679 Kč

Active Anarchy

Jeffrey Shantz
3 268 Kč

Numicon: Extra Numicon 1-shapes

Oxford University Press
149 Kč

Contemporary Musicians

Suzanne M. Bourgoin
6 424 Kč

Right to Die

Tamara Thompson
714 Kč

Zákaznicí kteří koupili tuto knihu koupili také

Die Juristischen Staatsprufungen

Paul Sattelmacher
1 178 Kč

Den Himmel gibt's echt, 4 Audio-CDs

Lynn Vincent
213 Kč

Dynamique Triangulaire de la Vie

JACQUES BE BOISL VE
665 Kč

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

BOMPARD-A
347 Kč

Vom fragenden Jungen zum Andersdenkenden

Gerd Keil
493 Kč

Morový testament

Vlastimil Vondruška
434 Kč

Výbušné dítě

Ross W. Greene
330 Kč