1. Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
پدیدآورنده : Peter E. Lauer, )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Functional programming )Computer science(,Congresses ، Parallel programming )Computer science(,Congresses ، Automatic theorem proving,Congresses ، Computer simulation
رده :
QA
76
.
L28
Vol
.
693