Noch Fragen? 0800 / 33 82 637

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

Sprache(n): Englisch

ISBN: 978-3-031-31475-9 / 978-3031314759 / 9783031314759

Verlag: Springer International Publishing

Erscheinungsdatum: 17.05.2023

Seiten: 351

Auflage: 1

Herausgegeben von Roberto Giacobazzi, John P. Gallagher, Pedro Lopez-Garcia

139,09 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück