Description: This book is Open Access under a CC BY licence. 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.
Price: 116 AUD
Location: Hillsdale, NSW
End Time: 2024-11-19T13:36:34.000Z
Shipping Cost: 30.78 AUD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 60 Days
Return policy details:
EAN: 9783319893655
UPC: 9783319893655
ISBN: 9783319893655
MPN: N/A
Book Title: Foundations of Software Science and Computation St
Item Length: 23.4 cm
Item Height: 235 mm
Item Width: 155 mm
Author: Ugo Dal Lago, Christel Baier
Publication Name: Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
Format: Paperback
Language: English
Publisher: Springer International Publishing Ag
Subject: Engineering & Technology, Computer Science, Mathematics
Publication Year: 2018
Type: Textbook
Item Weight: 908 g
Number of Pages: 583 Pages
