Interactive Models of Computation and Program Behavior
, by Curien, Pierre-Louis; Herbelin, Hugo; Krivine, Jean-louis; Mellies, Paul-andreNote: Supplemental materials are not guaranteed with Rental or Used book purchases.
- ISBN: 9782856292730 | 2856292739
- Cover: Paperback
- Copyright: 5/15/2010