Đang hiển thị
1 - 2
kết quả của
2
Chuyển đến nội dung
UPFind
Túi sách:
0
cuốn sách
(Đầy đủ)
Ngôn ngữ
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Māori
Tất cả các trường
Tiêu đề
Tác giả
Chủ đề
Số hiệu
số ISBN/ISSN
Tìm kiếm
Nâng cao
Kết quả tìm kiếm - "Weakest precondition."
Kết quả tìm kiếm - "Weakest precondition."
Đang hiển thị
1 - 2
kết quả của
2
Tinh chỉnh kết quả
Sắp xếp
Mức độ liên quan
Ngày giảm dần
Newest to Oldest
Oldest to Newest
Tác giả
Tiêu đề
Select Page
Email
Xuất
In
Thêm vào cặp sách
Chọn kết quả số 1
1
Unifying wp and wlp.
Bằng
Morgan, Carroll
Xuất bản năm
Information processing letters.
Số hiệu:
Đang tải…
Nằm:
Đang tải…
Bài viết
Đang tải…
Thêm vào cặp sách
Xóa khỏi Túi Sách
Standalone Record
Chọn kết quả số 2
2
Non-deterministic expressions and predicate transformers.
Bằng
Morris, Joseph M.
Xuất bản năm
Information processing letters.
Số hiệu:
Đang tải…
Nằm:
Đang tải…
Bài viết
Đang tải…
Thêm vào cặp sách
Xóa khỏi Túi Sách
Standalone Record
Select Page
Email
Xuất
In
Thêm vào cặp sách
Công cụ tìm kiếm:
Nhận nguồn cấp dữ liệu RSS
Tìm kiếm email này
Trở lại
Tinh chỉnh kết quả
Page will reload when a filter is selected or excluded.
CAMPUS
Diliman
2 kết quả
2
DATABASE
Union Catalog (Buklod)
2 kết quả
2
UNIT LIBRARY
College of Engineering Library II
2 kết quả
2
RESOURCE TYPE
Bài viết
2 kết quả
2
AUTHOR
Morgan, Carroll
1 kết quả
1
Morris, Joseph M.
1 kết quả
1
LANGUAGE
English
2 kết quả
2
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-. The University Library, University of the Philippines Diliman