Static Analysis Static Analysis

Static Analysis

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

    • US$69.99
    • US$69.99

출판사 설명

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

장르
컴퓨터 및 인터넷
출시일
2023년
10월 23일
언어
EN
영어
길이
581
페이지
출판사
Springer Nature Switzerland
판매자
Springer Nature B.V.
크기
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년