Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
intersection constraint » intersection constraints, interaction constraints, interactions constraints
programming programmed » processing programmed
programmed constructs » programming constructs, programme contract, programmed instructions
constructs loops » constructs lists, constructs coders, constructs core
1
Ảnh bìa
Được phát hành 2006
Mục lục: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
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 2008
Mục lục: “... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”
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