Overview

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.

ISBN-13

9783319893655

ISBN-10

3319893653

Weight

1.83 Pounds

Dimensions

6.10 x 1.36 x 9.25 In

List Price

$59.99

Edition

1st Edition

Format

Paperback

Language

English

Pages

xv, 583 pages

Publisher

Springer

Published On

2018-04-14



View All Offers

Sort by:

Condition
Seller
Seller Comments
Price
Used, Good
Seller details
Bonita
★★★★☆

Santa Clarita, CA, USA

Access codes and supplements are not guaranteed with used items. May be an ex-library book.
$66.63

 Free delivery by: 31 Mar 2026


Bookstores.com relies on cookies to improve your experience.