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
|