Functional programming, concurrency, simulation and automated reasoning. International lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
From MaRDI portal
Publication:1310267
DOI10.1007/3-540-56883-2zbMath0825.00050OpenAlexW2489608292MaRDI QIDQ1310267
No author found.
Publication date: 8 December 1993
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-56883-2
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (1)
This page was built for publication: Functional programming, concurrency, simulation and automated reasoning. International lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
