| 000 | 02582nam a22005175i 4500 | ||
|---|---|---|---|
| 001 | u375567 | ||
| 003 | SIRSI | ||
| 005 | 20160812084330.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 101206s2010 gw | s |||| 0|eng d | ||
| 020 |
_a9783642176852 _9978-3-642-17685-2 |
||
| 040 | _cMX-MeUAM | ||
| 050 | 4 | _aQA76.758 | |
| 082 | 0 | 4 |
_a005.1 _223 |
| 100 | 1 |
_aHorváth, Zoltán. _eeditor. |
|
| 245 | 1 | 0 |
_aCentral European Functional Programming School _h[recurso electrónico] : _bThird Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures / _cedited by Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók. |
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010. |
|
| 300 |
_aIX, 391p. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6299 |
|
| 520 | _aThis volume presents the revised lecture notes of selected talks given at the Third Central European Functional Programming School, CEFP 2009, held in May 2009 in Komárno, Slovakia. It was co-organized with the TFP 2009 conference. The summer school included a three days warm-up session organized in Budapest, Hungary also in May, 2009. The 11 revised full papers presented were carefully reviewed and selected. The lectures cover a wide range of topics such as design patterns, semantics, types, and advanced programming in various functional programming languages. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aComputer Communication Networks. | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aLogic design. | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aSoftware Engineering. |
| 650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
| 650 | 2 | 4 | _aProgramming Techniques. |
| 650 | 2 | 4 | _aLogics and Meanings of Programs. |
| 650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
| 650 | 2 | 4 | _aComputer Communication Networks. |
| 700 | 1 |
_aPlasmeijer, Rinus. _eeditor. |
|
| 700 | 1 |
_aZsók, Viktória. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642176845 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6299 |
|
| 856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-17685-2 |
| 596 | _a19 | ||
| 942 | _cLIBRO_ELEC | ||
| 999 |
_c203447 _d203447 |
||