서브메뉴
검색
Design and validation of computer protocols
Design and validation of computer protocols
상세정보
- 자료유형
-
단행본
- ISBN
- 0135398347
- KDC
- 004.52-4
- 청구기호
- 004.52 H758d
- 서명/저자
- Design and validation of computer protocols / by Gerard J. Holzmann
- 발행사항
- Englewood Cliffs : Prentice-Hall, 1991
- 형태사항
- xii, 500 p : ill ; 24cm
- 서지주기
- Includes index
- 가격
- \21,000
- Control Number
- hycl:23944
MARC
008980623s1991 us a 001a eng■040 ▼a211063▼d211063
■020 ▼a0135398347
■056 ▼a004.52▼24
■090 ▼a004.52▼bH758d
■1001 ▼aHoltzmann, Gerard J▼eby
■24510▼aDesign and validation of computer protocols▼dby Gerard J. Holzmann
■260 ▼aEnglewood Cliffs▼bPrentice-Hall▼c1991
■300 ▼axii, 500 p▼bill▼c24cm
■504 ▼aIncludes index
■9500 ▼b\21,000
■990 ▼a윤현정▼b이재우
