ISBN 2856292739 books & textbook
Interactive Models of Computation and Program Behavior (Panoramas Et Syntheses)
Curien, Pierre-Louis Herbelin, Hugo Krivine, Jean-louis Mellies, Paul-andre
Amer Mathematical Society / Paperback / 275 Pages
isbn-10: 2856292739 / isbn-13: 9782856292730