Functional Programming, Concurrency, Simulation and Automated Reasoning

Functional Programming, Concurrency, Simulation and Automated Reasoning 1993

- view
  - table of contents in DBLP
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mcmaster/1993
- ask others
Peter E. Lauer (Ed.): Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. Springer 1993 Lecture Notes in Computer Science 693 ISBN 3-540-56883-2 [ contents ]