Đang tải...
TEMPORAL LOGIC OF PROGRAMS.
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Livro |
| Ngôn ngữ: | Inglês |
| Được phát hành: |
SPRINGER-VERLAG,
S1987
|
| Những chủ đề: | |
| Truy cập trực tuyến: | https://minerva.ufrj.br/F/?func=direct&doc_number=000178716&local_base=UFR01 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|