Product Description: This book constitutes the refereed proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering, FASE 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. The 25 revised full papers presented together with an invited paper were carefully reviewed and selected from 105 submissions...read more

Product Description: This book constitutes the refereed proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. The 33 revised full research papers and 8 revised tool demonstration papers presented together with an invited paper were carefully reviewed and selected from a total of 161 submissions...read more

Product Description: This book constitutes the refereed proceedings of the 7th International Conference on Fundamental Approaches to Software Engineering, FASE 2004, held in Barcelona, Spain, in March/April 2004. The 22 revised full papers and 4 tool presentation papers presented together with an invited paper and the abstract of another invited talk were carefully reviewed and selected from a total of 98 submissions...read more

Product Description: This book constitutes the refereed proceedings of the 13th European Symposium on Programming, ESOP 2004, held in Barcelona, Spain, in March/April 2004. The 27 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from a total of 118 submissions...read more

Product Description: This book constitutes the refereed proceedings of the 7th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2004, held in Barcelona, Spain in March/April 2004. The 34 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from over 130 submissions...read more

Product Description: This book constitutes the refereed proceedings of the 13th International Conference on Compiler Construction, CC 2004, held in Barcelona, Spain, in March/April 2004. The 19 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from 58 submissions...read more

Product Description:   This book constitutes the refereed proceedings of the 12th International Conference on Compiler Construction, CC 2003, held in Warsaw, Poland, in April 2003. The 20 revised full regular papers and one tool demonstration paper presented together with two invited papers were carefully reviewed and selected from 83 submissions...read more

Product Description: This book constitutes the refereed proceedings of the 6th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2003, held in Warsaw, Poland in April 2003. The 26 revised full papers presented together with an invited paper were carefully reviewed and selected  from 96 submissions...read more

Product Description:   This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003. The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 99 submissions...read more

Product Description: This book constitutes the refereed proceedings of the 10th European Symposium on Programming, ESOP 2001, held in Genova, Italy in April 2001. The 26 revised full papers presented together with two invited papers were carefully reviewed and selected from a total of 76 submissions...read more (view table of contents, read Amazon.com's description)

Product Description: This book constitutes the refereed proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2001, held in Genova, Italy in April 2001. The 25 revised full papers presented together with an invited paper and a tool presentation paper were carefully reviewed and selected from a total of 63 submissions...read more (view table of contents, read Amazon.com's description)

Product Description: This book constitutes the refereed proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering, FASE 2001, held in Genova, Italy in April 2001. The 22 revised full papers presented were carefully reviewed and selected from a total of 74 submissions...read more

Product Description: This book constitutes the refereed proceedings of the 9th European Symposium on Programming, ESOP 2000, held as part of ETAPS 2000 in Berlin, Germany in March/April 2000. The 27 revised full papers presented together with one invited paper were carefully reviewed and selected from 84 submissions...read more (view table of contents, read Amazon.com's description)

Product Description: This volume constitutes the refereed proceedings of the Third International Conference on Fundamental Approaches to Software Engineering, FASE 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000. The 21 revised full papers presented together with three invited contributions and three system descriptions were carefully reviewed and selected from almost 60 submissions...read more (view table of contents, read Amazon.com's description)

Product Description: This book constitutes the refereed proceedings of the 9th International Conference on Compiler Construction, CC 2000, held as part of ETAPS 2000 in Berlin, Germany in March/April 2000. The 18 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 46 submissions...read more (view table of contents, read Amazon.com's description)