MPG.eBooks - Search Results - "IMDEA Software Institute"

Search alternatives:
software institute » software initiative , software insight , square institute
imdea software » dea software , ideas software , ida software

Cover Image

1

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Published 2023

Springer Nature Switzerland

“... of the IMDEA Software Institute, where he is now a Distinguished Professor, while also a full professor...”