Manuel Hermenegildo

Books by Author

Practical Aspects of Declarative Languages

Manuel Hermenegildo

₹5599.0₹3583.0

Verification, Model Checking, and Abstract Interpretation

Gilles Barthe

₹5599.0₹3583.0

Static Analysis

Manuel V. Hermenegildo

₹9183.0₹5785.0

Functional and Logic Programming

Manuel Hermenegildo

₹5599.0₹1792.0

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo

₹5599.0₹3583.0

Programming Languages: Implementations, Logics and Programs

Manuel Hermenegildo

₹5801.0

Programming Language Implementation and Logic Programming

Manuel Hermenegildo

₹5800.0

Memoria Sobre La Naturaleza Del Hombre Leida En La Academia De Ciencias Naturales De Madrid (1845)

Manuel Hermenegildo Davila

₹3277.0

Memoria Sobre La Naturaleza Del Hombre Leida En La Academia De Ciencias Naturales De Madrid (1845)

Manuel Hermenegildo Davila

₹3277.0

Practical Aspects of Declarative Languages

Manuel Hermenegildo

₹2201.45

Functional and Logic Programming

Manuel Hermenegildo

₹2201.45

Programming Language Implementation and Logic Programming

Manuel Hermenegildo

₹0.0

Programming Language Implementation and Logic Programming

Manuel Hermenegildo

₹7731.0

Practical Aspects of Declarative Languages

Manuel Hermenegildo

₹5437.42

Logic Programming

Manuel Hermenegildo

₹0.0

Programming Languages: Implementations, Logics and Programs

Manuel Hermenegildo

₹8416.62

Memoria Sobre La Naturaleza Del Hombre Leida En La Academia De Ciencias Naturales De Madrid (1845)

Manuel Hermenegildo Davila

₹1070.0

Verification, Model Checking, and Abstract Interpretation

Gilles Barthe

₹2201.45

Static Analysis

Manuel Hermenegildo

₹5422.0₹5151.0

Memoria Sobre La Naturaleza Del Hombre Leida En La Academia De Ciencias Naturales De Madrid (1845)

Manuel Hermenegildo Davila

₹1082.0

Memoria Sobre La Naturaleza Del Hombre Leída En La Academia De Ciencias Naturales De Madrid...

Manuel Hermenegildo Davila

₹1323.0₹979.0

Logic-Based Program Synthesis and Transformation

Lopez-Garcia Pedro Lopez-Garcia

₹4323.15