Download free course Foundations of Software Science and Computation Structures, pdf file on 586 pages by Christel Baier, Ugo Dal Lago.
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.
Table of contents
Pages : | 586 |
Size : | 17.5 MB |
Downloads: | 42 |
Created: | 2022-02-02 |
License: | CC BY |
Author(s): | Christel Baier, Ugo Dal Lago |
Others related eBooks about Foundations of Software Science and Computation Structures
Download free course Business Process Flow Mapping Succinctly, pdf file on 73 pages by by Erica L. Quigley.
Download free course Re-engineering the Uptake of ICT in Schools, pdf file on 214 pages by Frans Van Assche, Luis Anido, David Griffiths, Cathy Lewin, Sarah McNicol.
Download free course The Future of Software Quality Assurance, pdf file on 272 pages by Stephan Goericke.
Download free course Ernst Denert Award for Software Engineering 2019, pdf file on 142 pages by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer.
Download free course Mining Social Media, pdf file on 208 pages by Lam Thuy Vo.