Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings (Lecture Notes in Computer Science (3125), Band 3125)
von:
Dexter Kozen
· Carron Shankland
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-22380-1
ISBN-10: 3-540-22380-0
Springer
· 2008
