|
|
000
| 00000nam#a2200000ui#4500 |
|---|
| 001 | 141542 |
|---|
| 002 | 12 |
|---|
| 004 | 53DA3A04-74BD-43F1-B880-0DE9B49649D0 |
|---|
| 005 | 202012171042 |
|---|
| 008 | 081223s2016 vm| vie |
|---|
| 009 | 1 0 |
|---|
| 039 | |a20201217104252|bngavt|y20201217104223|zngavt |
|---|
| 082 | |a620 |
|---|
| 100 | |aStump, Aaron |
|---|
| 245 | |aVerified Functional Programming in Agda / |cAaron Stump |
|---|
| 260 | |bACM Books, |c2016 |
|---|
| 300 | |a284 p. |
|---|
| 650 | |aFunctional Programming with the Booleans |
|---|
| 650 | |aInternal Verification |
|---|
| 852 | |aThư viện Đại học Nha Trang |
|---|
| 856 | 1|uhttps://thuvien.ntu.edu.vn/ntukiposdata8/sachdientu/tienganh/600_khoahocungdung_congnghe/620_congnghe_hoatdonglienhe/verifiedfunctional_aaronstump/0page_001thumbimage.jpg |
|---|
| 890 | |c1 |
|---|
|
|
Không tìm thấy biểu ghi nào