Functional programming, concurrency, simulation and automated reasoning international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Peter E Lauer 1934-
Berlin New York Springer-Verlag c1993
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.693 e.1 ) e outros locais(Acessar)