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

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.