- Suche

- Kontakt

Mathematics of program construction

E.A. Boiten, B. Möller (eds.)
erschienen Jan. 2004 Science of Computer Programming 51:1-2, Special Issue
Jan. 2004.