|
DDC
| 004 |
|
Tác giả CN
| Perry, Doulas L. |
|
Nhan đề
| Applied pormal verification / Doulas L. Perry |
|
Thông tin xuất bản
| United states :The McGraw-Hill,2005 |
|
Mô tả vật lý
| 237p. :ill. ;24cm. |
|
Từ khóa tự do
| Fomal techniques |
|
Từ khóa tự do
| Properties |
|
Tác giả(bs) CN
| Porter, Harry D. |
|
Địa chỉ
| TVXDKho Ngoại văn - Phòng đọc mở tầng 3(2): NV00157-8 |
|
| 000 | 00000nam#a2200000u##4500 |
|---|
| 001 | 20972 |
|---|
| 002 | 22 |
|---|
| 004 | 1B6CB627-0FC0-4E59-9853-16037A37A8DB |
|---|
| 005 | 201804050935 |
|---|
| 008 | 180405s2005 xxu eng |
|---|
| 009 | 1 0 |
|---|
| 039 | |y20180405093511|zthuctap2 |
|---|
| 041 | |aeng |
|---|
| 082 | |a004|bPER |
|---|
| 100 | |aPerry, Doulas L. |
|---|
| 245 | |aApplied pormal verification /|cDoulas L. Perry |
|---|
| 260 | |aUnited states :|bThe McGraw-Hill,|c2005 |
|---|
| 300 | |a237p. :|bill. ;|c24cm. |
|---|
| 653 | |aFomal techniques |
|---|
| 653 | |aProperties |
|---|
| 700 | |aPorter, Harry D. |
|---|
| 852 | |aTVXD|bKho Ngoại văn - Phòng đọc mở tầng 3|j(2): NV00157-8 |
|---|
| 856 | 1|uhttps://thuvien.huce.edu.vn/kiposdata1/anhbia/sachngoaivan/av/av2204-2205thumbimage.jpg |
|---|
| 890 | |a2|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
|
NV00157
|
Kho Ngoại văn - Phòng đọc mở tầng 3
|
004 PER
|
Sách Ngoại Văn
|
1
|
|
|
|
|
2
|
NV00158
|
Kho Ngoại văn - Phòng đọc mở tầng 3
|
004 PER
|
Sách Ngoại Văn
|
2
|
|
|
|
Không có liên kết tài liệu số nào