Interactive models of computation and program behaviour

Panoramas et Synthèses 27

Pierre-Louis Curien, Hugo Herbelin, Jean-Louis Krivine, Paul-André Melliès
Acheter l'ouvrage
Présentation