實物特徵: Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer, ed.

Summary goes here

Saved in:

書目詳細資料
格式:	圖書
語言:	英语
主題:	Computer programming Functional programming (Computer science) Parallel programming (Computer science) Automatic theorem proving Computer simulation Automatic theorem proving. Computer programming. Computer simulation. Automatic theorem provingCongresses Computer programmingCongresses Computer simulationCongresses Functional programming (Computer science)Congresses Parallel programming (Computer science)Congresses Conference papers and proceedings.
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!