Static Analysis Static Analysis

Static Analysis

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

    • CHF 80.00
    • CHF 80.00

Beschreibung des Verlags

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

GENRE
Computer und Internet
ERSCHIENEN
2023
23. Oktober
SPRACHE
EN
Englisch
UMFANG
581
Seiten
VERLAG
Springer Nature Switzerland
GRÖSSE
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