karipela

Static Analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings. Manuel Hermenegildo

• Author: Manuel Hermenegildo
• Published Date: 01 Oct 2002
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Original Languages: English
• Format: Paperback::536 pages
• ISBN10: 3540442359
• ISBN13: 9783540442356
• Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
• Filename: static-analysis-9th-international-symposium-sas-2002-madrid-spain-september-17-20-2002.-proceedings.pdf
• Dimension: 155x 235x 28.19mm::1,680g
• Download: Static Analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings

Proceedings of the 14th ACM-IEEE International Conference on Formal Methods and Models for System Proceedings of the 9th International Static Analysis Symposium (SAS '02), September 17-20, Madrid, Spain. (.pdf) Proceedings of the 2002 ACM/SIGSOFT International Symposium on Software Testing and Analysis A ebook Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17 20, 2002 Proceedings training attributes not dominate there Advances in intelligent data analysis:third international symposium, IDA-99, First International Atlantic Web Intelligence conference AWIC 2003, Madrid, Spain, May 5-6, Algorithms-ESA 2001:9th annual European symposium, Harhus, Denmark, AICS 2002, Limerick, Ireland, September 12-13 2002, proceedings. Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17 20, 2002 Proceedings | Thomas Reps (auth.), Manuel V. Hermenegildo Mohammad Al Khatib, Antoine Girard, Thao Dang - Nonlinear Analysis: 2002. Testing Theories for Broadcasting Processes. Cristian Ene, Traian Muntean - Sci. Micha