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

This collection arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some advanced computer based systems for the conceptualization, design, implementation, simulation, and logical analysis of applications.
Year of publication: 1993
Pagination: 403 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Editor: Peter E. Lauer