Static Analysis Static Analysis

Static Analysis

30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings

    • 69,99 €
    • 69,99 €

Descrizione dell’editore

Chapter 21 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

GENERE
Computer e internet
PUBBLICATO
2023
23 ottobre
LINGUA
EN
Inglese
PAGINE
581
EDITORE
Springer Nature Switzerland
DATI DEL FORNITORE
Springer Science & Business Media LLC
DIMENSIONE
68,9
MB
Prolog: The Next 50 Years Prolog: The Next 50 Years
2023
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
2017