Diğer Bilgiler: Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer, ed.

Summary goes here

Kaydedildi:

Detaylı Bibliyografya
Materyal Türü:	Kitap
Dil:	İngilizce
Konular:	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.
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!