José F. Morales – författare
Visar alla böcker från författaren José F. Morales. Handla med fri frakt och snabb leverans.
4 produkter
Practical Aspects of Declarative Languages
23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings
Av José F. Morales, Dominic Orchard
Häftad, 2021
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 23rd International Symposium on Practical Aspects of Declarative Languages, PADL 2021, held in Copenhagen, Denmark, in January 2021.The 10 full papers were carefully reviewed and selected from 21 submissions. The papers present original work …
Practical Aspects of Declarative Languages
23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings
Av Dominic Orchard, Jose F. Morales
E-bok, 2021
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 23rd International Symposium on Practical Aspects of Declarative Languages, PADL 2021, held in Copenhagen, Denmark, in January 2021. The 10 full papers were carefully reviewed and selected from 21 submissions. The papers present original work …
Static Analysis
30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings
Av Manuel V. Hermenegildo, José F. Morales
Häftad, 2023
926 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a …
Static Analysis
30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings
Av Jose F. Morales, Manuel V. Hermenegildo
E-bok, 2023
1150 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a …
