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

Summary goes here

Gespeichert in:

Bibliographische Detailangaben
Format:	Buch
Sprache:	Englisch
Schlagworte:	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.
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!