Mathematics of Program Construction: Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings
53.49 EUR
Der Band „Mathematics of Program Construction“ aus Irsee 1995 sammelt Beiträge zur formalen Programmierung, analysiert Algorithmen und zeigt neue Wege der mathematischen Softwareentwicklung auf.