Zsok, Viktoria.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Central European Functional Programming School = 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011 : revised selected papers /
by:
SpringerLink (Online service); Zsok, Viktoria.; Workshop on the Preservation of Stability under Discretization ((2001 :); Plasmeijer, Rinus.; Horvath, Zoltan.
(書目-語言資料,印刷品)
Trends in functional programming = 11th international symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010 : revised selected papers /
by:
Horvath, Zoltan.; Zsok, Viktoria.; SpringerLink (Online service); Page, Rex.
(書目-語言資料,印刷品)
Composability, comprehensibility and correctness of working software = 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019 : revised selected papers /
by:
Zsok, Viktoria.; SpringerLink (Online service); Porkolab, Zoltan.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Functional programming languages
Programming Techniques.
Computer Science.
Compilers and Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Functional programming (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.