| 000 | 00983 a2200217 4500 | ||
|---|---|---|---|
| 999 |
_c12105 _d12105 |
||
| 003 | OSt | ||
| 005 | 20231010025101.0 | ||
| 008 | 191111b ||||| |||| 00| 0 eng d | ||
| 020 | _a9781447163688 | ||
| 020 | _a9781447163671 | ||
| 040 |
_aUnimy _beng |
||
| 050 |
_aQA76.7 .S43 _bF476 2014 |
||
| 100 | _aFernandez, Maribel. | ||
| 245 |
_aProgramming Languages and Operational Semantics _c/ Maribel Fernandez |
||
| 260 |
_c2014 _aLondon _bSpringer |
||
| 300 | _bix, 209 p.: | ||
| 504 | _aIncludes bibliographical references and index. | ||
| 505 | _aIntroduction.- Mathematical Background.- General Features of Imperative Languages.- Operational Semantics of Imperative Languages.- General Features of Functional Languages.- Operational Semantics of Functional Languages.- General Features of Logic Programming Languages.- Operational Semantics of Prolog.- Answers to Selected Exercises. | ||
| 650 |
_aProgramming languages (Electronic computers) _x Semantics. |
||
| 942 |
_2lcc _cBK |
||