Foundations of Software Science and Computation Structures - Info and Reading Options
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
By Andrew Pitts
"Foundations of Software Science and Computation Structures" was published by Springer London, Limited in 2015 - Berlin, Heidelberg, it has 465 pages and the language of the book is English.
“Foundations of Software Science and Computation Structures” Metadata:
- Title: ➤ Foundations of Software Science and Computation Structures
- Author: Andrew Pitts
- Language: English
- Number of Pages: 465
- Publisher: Springer London, Limited
- Publish Date: 2015
- Publish Location: Berlin, Heidelberg
“Foundations of Software Science and Computation Structures” Subjects and Themes:
- Subjects: Computer software, development - System analysis
Edition Identifiers:
- The Open Library ID: OL34520912M - OL25693717W
- ISBN-13: 9783662466780
- All ISBNs: 9783662466780
AI-generated Review of “Foundations of Software Science and Computation Structures”:
"Foundations of Software Science and Computation Structures" Description:
Open Data:
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 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
Read “Foundations of Software Science and Computation Structures”:
Read “Foundations of Software Science and Computation Structures” by choosing from the options below.
Search for “Foundations of Software Science and Computation Structures” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Foundations of Software Science and Computation Structures” in Libraries Near You:
Read or borrow “Foundations of Software Science and Computation Structures” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Foundations of Software Science and Computation Structures” at a library near you.
Buy “Foundations of Software Science and Computation Structures” online:
Shop for “Foundations of Software Science and Computation Structures” on popular online marketplaces.
- Ebay: New and used books.