Static Analysis Static Analysis

Static Analysis

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

    • ‏69٫99 US$
    • ‏69٫99 US$

وصف الناشر

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

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٢٣
٢٣ أكتوبر
اللغة
EN
الإنجليزية
عدد الصفحات
٥٨١
الناشر
Springer Nature Switzerland
البائع
Springer Nature B.V.
الحجم
٦٨٫٩
‫م.ب.‬
Prolog: The Next 50 Years Prolog: The Next 50 Years
٢٠٢٣
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
٢٠١٧