Analysis, verification and transformation for declarative programming and intelligent systems: essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday
Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Lopez-Garcia, Pedro (HerausgeberIn), Gallagher, John P. (HerausgeberIn), Giacobazzi, Roberto (HerausgeberIn)
Format: Buch
Sprache:English
Veröffentlicht: Cham Springer [2023]
Schriftenreihe:Lecture notes in computer science 13160
Schlagworte:
Beschreibung:xiv, 350 Seiten Illustrationen, Diagramme
ISBN:9783031314759

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!