Mathematics of Program Construction
Subtitle: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Publisher: Springer London, Limited
Published: 2015
Language: eng
Number of pages: 323
ISBN-13: 9783319197975
Subjects: Computer programming; Computer programs