• Analysis, Verification and Tra...
  • Beschreibung

Treffer: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Titel:
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday / edited by Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
Beteiligt:
Lopez-Garcia, Pedro (Herausgeber); Gallagher, John P (Herausgeber); Giacobazzi, Roberto (Herausgeber)
Ausgabe:
1st ed. 2023
Veröffent­licht:
Cham : Springer Nature Switzerland, 2023
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIV, 351 Seiten) : 70 illus., 26 illus. in color.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 13160
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. - Cham : Springer Nature Switzerland, 2023. - ISBN 9783031314759
ISBN:
9783031314766 ; 303131476X ; 9783031314759 (Sekundärausgabe) ; 9783031314773 (Sekundärausgabe)
DOI:
10.1007/978-3-031-31476-6

Zusatz-Informationen

Zusatz-Funktionen