Mathematics of Program Construction: Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings (Lecture Notes in Computer Science (947), Band 947)

Construction

von Bernhard M??ller

Taschenbuch

ISBN: 978-3-540-60117-3

ISBN-10: 3-540-60117-1

Springer · 2008