Horváth, Zoltán.
Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures / [electronic resource] : edited by Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6299 0302-9743 ; . - Lecture Notes in Computer Science, 6299 .
9783642176852
10.1007/978-3-642-17685-2 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer Communication Networks.
QA76.758
005.1
Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures / [electronic resource] : edited by Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6299 0302-9743 ; . - Lecture Notes in Computer Science, 6299 .
9783642176852
10.1007/978-3-642-17685-2 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer Communication Networks.
QA76.758
005.1