Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings (Lecture Notes in Computer Science (2386), Band 2386)

Construction

von: Eerke A. Boiten · Bernhard Möller

Taschenbuch

ISBN: 978-3-540-43857-1

ISBN-10: 3-540-43857-2

Springer · 2008