Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Roberto Giacobazzi, John P. Gallagher, Pedro Lopez-Garcia
E-bok
20231 785 kr
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasio
AvPedro Lopez-Garcia,John P. Gallagher
Engelska, 2023
644 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Del 13160
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
Häftad, 2023
1 448 kr
Logic-Based Program Synthesis and Transformation
Pedro Lopez-Garcia, Manuel V Hermenegildo
E-bok
2017708 kr
Del 10184
Logic-Based Program Synthesis and Transformation
Manuel V Hermenegildo, Pedro Lopez-Garcia
Häftad, 2017
562 kr
Del 10818
ICT - Energy Concepts for Energy Efficiency and Sustainability
Giorgos Fagas, Luca Gammaitoni, John P. Gallagher, Douglas J. Paul
Inbunden, 2017
1 662 kr
Del 10855
Logic-Based Program Synthesis and Transformation
Fabio Fioravanti, John P. Gallagher
Häftad, 2018
562 kr