Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Jeremy Gibbons, Pablo Nogueira (eds.)Categories:
Year:
2012
Edition:
1
Publisher:
Springer-Verlag Berlin Heidelberg
Language:
english
Pages:
363
ISBN 10:
364231113X
ISBN 13:
9783642311130
Series:
Lecture Notes in Computer Science 7342 : Theoretical Computer Science and General Issues
File:
PDF, 3.44 MB
IPFS:
,
english, 2012