Duyệt

Hồ sơ tác giả

Topic

OER - Công nghệ thông tin

URL

Duyệt OER - Công nghệ thông tin theo Tác giả "Adam, Chlipala"

Duyệt theo:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Hoặc nhập chữ cái đầu tiên:
Đang hiển thị 1 - 1 của tổng số 1 kết quả
Hiển thị
  • Hình ảnh thu nhỏ
    Ấn phẩm
    Certified Programming with Dependent Types
    (The MIT Press, 2019) Adam, Chlipala
    This textbook covers practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation.