Titelbild: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 9783031314759

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

  • Verleger Veröffentlicht von Springer Copyright © 2023
  • "ISBN-13 9783031314759"
  • Format reflowable eBook

eBook

eTextbook-Lizenz
‌
€128.39 EUR
‌
‌

  • Studienhilfen

    Integrierte Lernwerkzeuge wie Hervorhebungen und vieles mehr

  • Vorlesen

    Hören Sie zu und lesen Sie mit, während Bookshelf Ihnen vorliest

  • Offline-Zugriff

    Greifen Sie jederzeit und überall auf Ihr eTextbook zu

  • Globale Suche

    Durchsuche Buchinhalte, Abbildungen und dein Arbeitsbuch.

Erfahren Sie mehr

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems lauten 9783031314766, 303131476X und die Druck-ISBNs lauten 9783031314759, 3031314751. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Zurück nach oben