Ricardo Peña

Ricardo Peña

2 ספרים במאגר

ספרים

Trends in Functional ProgrammingRicardo Peña

Trends in Functional Programming

Ricardo Peña · 2012

Foundational and Practical Aspects of Resource AnalysisRicardo Peña

Foundational and Practical Aspects of Resource Analysis

Ricardo Peña · 2012

ספרים משותפים ואוספים

ספרים שבהם Ricardo Peña מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Logic-Based Program Synthesis and TransformationGopal Gupta

Logic-Based Program Synthesis and Transformation

Gopal Gupta · 2014