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

Programming

by Peter E. Lauer

Paperback

ISBN: 978-0-387-56883-6

ISBN-10: 0-387-56883-2

Springer Verlag · 1993