|
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