Functional Programming, Concurrency, Simulation and Automated Reasoning

By clibrary on Mon, 06/23/2025 - 19:48
Author

Peter E. Lauer

Publisher

Springer

Subject

Computer Science

Year

1993

Vol/Edition

693

ISBN

9783540477761

URL
http://dx.doi.org/10.1007/3-540-56883-2