Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Peter E. Lauer (ed.)
Bok Engelsk 1993
| Utgitt | Berlin : Springer , c1993
|
|---|---|
| Omfang | X, 398 s. : fig.
|
| Emner | |
| ISBN | 0387568832. - 3540568832
|
