1. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses

Classification :
QA
76
.
6
.
F853
1993