Cover Image
Read Now

1
Published 2012
Springer Berlin Heidelberg
“... on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract...”