Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
program solving » programs solving, program moving, program serving
program python » program path, program paths, program potong
python program » python programs, action program, python programming
1
Ảnh bìa
Bằng Shankar, A. Udaya., Shankar, A. Udaya.
Được phát hành 2013
Mục lục: “... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
2
Ảnh bìa
Được phát hành 2013
Mục lục: “...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
Công cụ tìm kiếm: Nhận nguồn cấp dữ liệu RSS — Tìm kiếm email này — Lưu tìm kiếm