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. Este artículo no está disponible.
Idioma: inglés
Editorial: Springer, 2017
- Tapa blanda
- Nuevo
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Vendedor de IberLibro desde 6 de abril de 2009
Condición: Nuevo
EUR 66,34
N° de ref. del artículo 29133978-n
- Título
- 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
- Autor
- Esparza, Javier (EDT); Murawski, Andrzej S. (EDT)
- Editorial
- Springer
- Año de publicación
- 2017
- Estado
- New
- Encuadernación
- Encuadernación de tapa blanda
- Idioma
- inglés
- ISBN 10
- 3662544571
- ISBN 13
- 9783662544570
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.
“Sinopsis” puede pertenecer a otra edición de este título.
Reseña del editor
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.
“Acerca de” puede pertenecer a otra edición de este título.