Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conference by Javier Esparza

Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS…

byJavier Esparza, Andrzej S. Murawski

Kobo ebook | March 15, 2017

Pricing and Purchase Info

$86.09 online 
$107.53 list price save 19%

Prices and offers may vary in store

Available for download

Not available in stores

about

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.

Title:Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS…Format:Kobo ebookPublished:March 15, 2017Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:366254458X

ISBN - 13:9783662544587

Look for similar items by category:

Reviews