- Nyhet
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
672 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Roberto Giacobazzi, John P. Gallagher, Pedro Lopez-Garcia
E-bok
20231 798 kr
Del 13160
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
Häftad, 2023
1 477 kr
Logic-Based Program Synthesis and Transformation
Pedro Lopez-Garcia, Manuel V Hermenegildo
E-bok
2017739 kr
Del 10184
Logic-Based Program Synthesis and Transformation
Manuel V Hermenegildo, Pedro Lopez-Garcia
Häftad, 2017
572 kr
Del 10818
ICT - Energy Concepts for Energy Efficiency and Sustainability
Giorgos Fagas, Luca Gammaitoni, John P. Gallagher, Douglas J. Paul
Inbunden, 2017
1 675 kr
Del 10855
Logic-Based Program Synthesis and Transformation
Fabio Fioravanti, John P. Gallagher
Häftad, 2018
572 kr