| 000 | 00441nam a2200121Ia 4500 | ||
|---|---|---|---|
| 008 | 230413s9999||||xx |||||||||||||| ||und|| | ||
| 082 | _a03CU | ||
| 100 | _aCurien, Pierre-Louis(F-PARIS7-PPS); Herbelin, Hugo(F-PARIS7); Krivine, Jean-Louis(F-PARIS7-EPP); Melliès, Paul-André(F-PARIS7-PPS) | ||
| 245 | 0 | _aInteractive models of computation and program behavior. | |
| 260 | _bSociété Mathématique de France | ||
| 260 | _c2009 | ||
| 942 | _cBooks | ||
| 999 |
_c1317 _d1317 |
||