Related Books
Language: en
Pages: 571
Pages: 571
Type: BOOK - Published: 2007-11-22 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science,
Language: en
Pages: 574
Pages: 574
Type: BOOK - Published: 2021-03-22 - Publisher: Springer Nature
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS
Language: en
Pages: 381
Pages: 381
Type: BOOK - Published: 2007-11-29 - Publisher: Springer
This tutorial book presents six carefully revised lectures given at the Spring School on Datatype-Generic Programming, SSDGP 2006. This was held in Nottingham,
Language: en
Pages: 471
Pages: 471
Type: BOOK - Published: 2022-03-28 - Publisher: Springer Nature
This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS
Language: en
Pages: 586
Pages: 586
Type: BOOK - Published: 2018-04-14 - Publisher: Springer
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which
