1643474
9783540664598
Static Analysis 6th International Symposium, Sas'99, Venice, Italy, September 22-24, 1999 Proceedings
by Cortesi, Agostino, File, Gilberto
About this item
- Condition: New
- Provider: LightningBooks Contact
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
Product details
- ISBN-13: 9783540664598
- ISBN: 3540664599
- Publication Date: 1999
- Publisher: Springer
AUTHOR
SUMMARY
This book constitutes the refereed proceedings of the 6th International Symposium on Static Analysis, SAS'99, held in Venice, Italy in September 1999. The 18 revised full papers presented together with five invited contributions, were carefully reviewed and selected from 42 submissions. The book presents the state of the art in Static Analysis. The papers are organized in sections on synchronization in Java programs, synchronous languages, abstract domains, concurrency, static single assignment, and foundations.Cortesi, Agostino is the author of 'Static Analysis 6th International Symposium, Sas'99, Venice, Italy, September 22-24, 1999 Proceedings', published 1999 under ISBN 9783540664598 and ISBN 3540664599.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
