Curien, Pierre-Louis & Herbelin, Hugo & Krivine Jean-Louis & Melliès, Paul-André
Interactive models of computation and program behavior.
- Société Mathématique de France, 2009.
- (
Panoramas et Synthèses
; 27).
- Cote: 22269. En rayon: classement par collection.