Static Analysis Static Analysis

Static Analysis

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

    • 69,99 US$
    • 69,99 US$

Lời Giới Thiệu Của Nhà Xuất Bản

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

THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2023
23 tháng 10
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
581
Trang
NHÀ XUẤT BẢN
Springer Nature Switzerland
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
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