Product Description: This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Formal Aspects of Security and Trust, F.A.S.T. 2010, held as part of the 8th I.E.E.E. International Conference on Software Engineering and Formal Methods, S...read more

Product Description: The present volume contains the proceedings of the 6th International workshop on Formal Aspects of Security and Trust (fast 2009), held in Eindhoven, The Netherlands, 5–6 November 2009, as part of Formal Methods Week 2009. fast is sponsored by IFIP WG 1...read more

Product Description: The present volume contains the proceedings of the 5th International Workshop on Formal Aspects in Security and Trust (FAST 2008), held in Malaga, Spain, October 9-10, 2008. FAST is an event a?liated with the 13th European Sym- sium on Research in Computer Security (ESORICS 2008)...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: The Italian Conference on Theoretical Computer Science is the annual conference of the Italian Chapter of the European Association for Theoretical Computer Science. The conference aims at enabling computer scientists, especially young researchers, to enter the community and to exchange theoretical ideas and results, as well as theoretically-based practical experiments and tools in computer science...read more (view table of contents, read Amazon.com's description)