Werezi Books
Cart 0
Foundations of Software Science and Computation Structures
Click to zoom

Share this book

Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

1st ed. 2017

Book Details

Format Paperback / Softback
Book Series Theoretical Computer Science and General Issues
ISBN-10 3662544571
ISBN-13 9783662544570
Edition 1st ed. 2017
Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Country of Manufacture DE
Country of Publication GB
Publication Date Mar 16th, 2017
Print length 568 Pages
Product Classification: CompilersSoftware EngineeringMathematical theory of computation
Ksh 8,100.00
Werezi Extended Catalogue Delivery in 28 days

Delivery Location

Delivery fee: Select location

Delivery in 28 days

Secure
Quality
Fast
This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory.
This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.

The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory.

Get Foundations of Software Science and Computation Structures by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG and it has pages.

Mind, Body, & Spirit

The Mamba Mentality

The Mamba Mentality

Price

Ksh 8,100.00

Shopping Cart

Africa largest book store

Sub Total:
Ebooks

Digital Library
Coming Soon

Our digital collection is currently being curated to ensure the best possible reading experience on Werezi. We'll be launching our Ebooks platform shortly.