Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author="Andrew Pitts"
cover
Foundations of Software Science and Computation Structures
Comment Share
Andrew Pitts

This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. They are organize…

Edition
-
ISBN/ISSN
978-3-662-46678-0
Collation
XVI, 465 pages
Series Title
Lecture Notes in Computer Science
Call Number
-