Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada

Peter E. Lauer, editor, Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. Volume 693 of Lecture Notes in Computer Science, Springer, 1993.

Conference: mcmaster1993

Editors

Peter E. Lauer

This author has not been identified. Look up 'Peter E. Lauer' in Google