Foundations of Software Science and Computational Structures By Luke Ong
English | 2010 | 404 Pages | ISBN: 3642120318 | PDF | 4,6 MB
This book constitutes the refereed proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.