Analysis, verification and transformation for declarative programming and intelligent systems : essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday (Englisch)
- Neue Suche nach: Lopez-Garcia, Pedro
- Neue Suche nach: Gallagher, John P.
- Neue Suche nach: Giacobazzi, Roberto
- Neue Suche nach: Hermenegildo, Manuel V.
- Weitere Informationen zu Hermenegildo, Manuel V.:
- http://d-nb.info/gnd/1089311451
2023
-
ISBN:
- Konferenzband / Print
-
Titel:Analysis, verification and transformation for declarative programming and intelligent systems : essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday
-
Beteiligte:Lopez-Garcia, Pedro ( Herausgeber:in ) / Gallagher, John P. ( Herausgeber:in ) / Giacobazzi, Roberto ( Herausgeber:in ) / Hermenegildo, Manuel V. ( Gefeierte:r )
-
Kongress:MH60 workshop ; 2019 ; Porto
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Cham
-
Erscheinungsdatum:2023
-
Format / Umfang:xiv, 350 Seiten
-
Anmerkungen:24 cm
Illustrationen, Diagramme
Also presentations at the MH60 workshop held in Porto on October 8th 2019
Literaturangaben und Index -
ISBN:
-
Medientyp:Konferenzband
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.52
- Weitere Informationen zu Basisklassifikation
- Neue Suche nach: 005.131
- Weitere Informationen zu Dewey Decimal Classification
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle: