Thông tin ấn phẩm
006.6 BO-J
Formal Specification and Documentation Using Z : A Case Study Approach /
Tác giả: Bowen, Jonathan,
Nhà xuất bản
Thomson Computer PressNăm xuất bản
1996Lần xuất bản
Đang cập nhậtNgôn ngữ
Tiếng ViệtTóm tắt
Nội dung: Introduction, network services...
Đầu mục
Danh sách các kho đang có sẵn ấn phẩm
| Nơi lưu trữ | Có sẵn |
|---|---|
| Kho Khoa Công nghệ Thông tin | 1 |
Marc
Thông tin ấn phẩm theo chuẩn MARC 21
001
5816
002 3
004 19E1F9D6-5622-456C-93E0-6764B92D7F2E
005 201508131501
008 081223s1996||||vm|#################vie#d
009 1 0
039 ## $y20150813150159 $zduchieu
082 ## $a006.6 $bBO-J
100 $aBowen, Jonathan
245 ## $aFormal Specification and Documentation Using Z : $bA Case Study Approach / $cJonathan Bowen
260 ## $aUK : $bThomson Computer Press, $c1996
300 ## $a302tr. ; $c24cm
520 ## $aNội dung: Introduction, network services...
653 ## $aDocumentation Using Z
653 ## $aFormal Specification and Documentation Using Z
653 ## $aFormal Specification
852 ## $a02 $bKho Khoa Công nghệ Thông tin $j(1): 02100116
890 ## $a1 $b0 $c0 $d0
002 3
004 19E1F9D6-5622-456C-93E0-6764B92D7F2E
005 201508131501
008 081223s1996||||vm|#################vie#d
009 1 0
039 ## $y20150813150159 $zduchieu
082 ## $a006.6 $bBO-J
100 $aBowen, Jonathan
245 ## $aFormal Specification and Documentation Using Z : $bA Case Study Approach / $cJonathan Bowen
260 ## $aUK : $bThomson Computer Press, $c1996
300 ## $a302tr. ; $c24cm
520 ## $aNội dung: Introduction, network services...
653 ## $aDocumentation Using Z
653 ## $aFormal Specification and Documentation Using Z
653 ## $aFormal Specification
852 ## $a02 $bKho Khoa Công nghệ Thông tin $j(1): 02100116
890 ## $a1 $b0 $c0 $d0
×
![]()