Đang hiển thị 1 - 2 kết quả của 2 cho tìm kiếm '"Programming language semantics"', thời gian truy vấn: 0.64s Tinh chỉnh kết quả
  1. 1
    Proving Properties of Programs on Hierarchical Nominative Data

    Proving Properties of Programs on Hierarchical Nominative Data Bằng Ievgen Ivanov, Mykola Nikitchenko, Volodymyr G. Skobelev

    Được phát hành 2016-12-01
    Những chủ đề: “…Programming language semantics…”
    lấy văn bản
    Bài viết
  2. 2
    Lifting Transformations

    Lifting Transformations Bằng McAllester, David, Siskind, Jeffrey

    Được phát hành 2004
    Những chủ đề:
    lấy văn bản

Công cụ tìm kiếm: