Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Theoretical Computer Science and General Issues 9034 (Paperback)Andrew M. Pitts (editor)
- We can order this
The 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. They are organized in topical sections named: semantics of programming languages; categorical models and logics; concurrent, probabilistic and timed systems; automata, games, verification; logical aspects of computational complexity; and type theory, proof theory and implicit computational complexity. The book also contains one full paper invited talk.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 465
Weight: 7256 g
Dimensions: 235 x 155 x 25 mm
Edition: 2015 ed.
You may also be interested in...
Please sign in to write a review