Applied semantics
2.1 hrs read
Rate this book:
About This Book
"This book presents nine thoroughly reviewed and revised advanced lectures given at a graduate-level summer school in Caminha, Portugal, in September 2000"--Jacket.
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Write a Review
Sign in to write a review.
More by Gilles Barthe
Engineering Secure Software And Systems 4th International Symposium Essos 2012 Eindhoven The Netherlands February 1617 2012 Proceedings
Formal Aspects Of Security And Trust 8th International Workshop Fast 2011 Leuven Belgium September 1214 2011 Revised Selected Papers
Software Engineering And Formal Methods 9th International Conference Proceedings