|
DDC
| 005.3 |
|
Tác giả CN
| Casey, Chris |
|
Nhan đề
| A Programming Approach to Formal Methods : Chris Casey |
|
Thông tin xuất bản
| New York :McGraw-Hill,1994 |
|
Mô tả vật lý
| 262p. :ill. ;24cm. |
|
Từ khóa tự do
| Control structures |
|
Từ khóa tự do
| Modularity |
|
Địa chỉ
| TVXDKho Ngoại văn - Phòng đọc mở tầng 3(1): NV00376 |
|
| 000 | 00000nam#a2200000u##4500 |
|---|
| 001 | 22885 |
|---|
| 002 | 22 |
|---|
| 004 | 5E8647B3-90C2-4E4E-82E6-D8EFE4C2E354 |
|---|
| 005 | 201811131043 |
|---|
| 008 | 181113s1994 xxu eng |
|---|
| 009 | 1 0 |
|---|
| 020 | |a007707968 |
|---|
| 039 | |y20181113104310|zthuctap2 |
|---|
| 082 | |a005.3|bCAS |
|---|
| 100 | |aCasey, Chris |
|---|
| 245 | |aA Programming Approach to Formal Methods :|bChris Casey |
|---|
| 260 | |aNew York :|bMcGraw-Hill,|c1994 |
|---|
| 300 | |a262p. :|bill. ;|c24cm. |
|---|
| 653 | |aControl structures |
|---|
| 653 | |aModularity |
|---|
| 852 | |aTVXD|bKho Ngoại văn - Phòng đọc mở tầng 3|j(1): NV00376 |
|---|
| 856 | 1|uhttps://thuvien.huce.edu.vn/kiposdata1/anhbia/sachngoaivan/av/av950.jpgthumbimage.jpg |
|---|
| 890 | |a1|b0|c0|d0 |
|---|
|
| Dòng |
Mã vạch |
Nơi lưu |
Chỉ số xếp giá |
Loại tài liệu |
Bản sao |
Tình trạng |
Thành phần |
Đặt mượn |
|
1
|
NV00376
|
Kho Ngoại văn - Phòng đọc mở tầng 3
|
005.3 CAS
|
Sách Ngoại Văn
|
1
|
|
|
|
Không có liên kết tài liệu số nào