Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint ... The Netherlands, April 2-8, 2016, Proceedin - Tapa blanda

 
9783662496312: Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint ... The Netherlands, April 2-8, 2016, Proceedin
Tapa blanda
ISBN 10: 3662496313 ISBN 13: 9783662496312
Editorial: Springer, 2016

Esta edición ISBN ya no está disponible.

Sinopsis

This book constitutes the proceedings of the 19thInternational Conference on Foundations of Software Science and ComputationStructures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, inApril 2016, held as Part of the European Joint Conferences on Theory andPractice of Software, ETAPS 2016.

The 31 full papers presented in this volume werecarefully reviewed and selected from 85 submissions. They were organized intopical sections named: types; recursion and fixed-points; verification andprogram analysis; automata, logic, games; probabilistic and timed systems;proof theory and lambda calculus; algorithms for infinite systems; and monads.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2016
Idioma
Inglés
ISBN 10 
3662496313
ISBN 13 
9783662496312
Encuadernación
Tapa blanda
Número de páginas
564
Editor
Jacobs Bart, Löding Christof
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9783662496299: Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint ... Computer Science and General Issues)

Edición Destacada

ISBN 10:  3662496291 ISBN 13:  9783662496299
Editorial: Springer, 2016
Tapa blanda