Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, ... Notes in Computer Science (693), Band 693)

Menü