Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Produktform: Buch / Einband - flex.(Paperback)
This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. degree in Computer Science and Engineering from the University of Texas at Austin, and among various positions he was an endowed chair in Information Science and Technology at the University of New Mexico. In 2007 he became the founding director of the IMDEA Software Institute, where he is now a Distinguished Professor, while also a full professor at Universidad Politécnica de Madrid (UPM).
weiterlesen
Dieser Artikel gehört zu den folgenden Serien
139,09 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
zurück