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
AI Summary
Delivery Location
Delivery fee: Select location
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.
Discover books you might love based on this title.
More in This Genre
Trends in Functional Programming
Ksh 8,100.00
Practical Support for CMMI-SW Software Project Documentation Using IEEE Software Engineering Standards
Ksh 21,950.00
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Ksh 9,900.00
PDCA/Test
Ksh 104,400.00
Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud
Ksh 8,100.00
Rules and Reasoning
Ksh 8,100.00
