Hiển thị đơn giản Hiển thị MARC Hiển thị ISBD

Curien, Pierre-Louis(F-PARIS7-PPS); Herbelin, Hugo(F-PARIS7); Krivine, Jean-Louis(F-PARIS7-EPP); Melliès, Paul-André(F-PARIS7-PPS)

Interactive models of computation and program behavior. - Société Mathématique de France 2009

Dewey Class. No.: 03CU