Trends in Functional Programming 10 비슷한 책 더 보기
Trends in Functional Programming Volume 10
2014년
Compiler Construction
2010년
Declarative Programming and Knowledge Management
2020년
Verified Software. Theories, Tools, and Experiments
2016년
Programming Languages
2016년
Perspectives of System Informatics
2018년
Compiler Construction
2009년
Practical Aspects of Declarative Languages
2018년
Programming Languages and Systems
2017년
Software Engineering and Formal Methods
2018년
Integrated Formal Methods
2020년
Practical Aspects of Declarative Languages
2023년
Practical Aspects of Declarative Languages
2020년
Verified Software. Theories, Tools and Experiments.
2023년
Formal Methods for Components and Objects
2009년