서브메뉴
검색
The specification of computer programs : W켥dys켥w M. Turski, Thomas S.E. Maibaum
The specification of computer programs : W켥dys켥w M. Turski, Thomas S.E. Maibaum
- 자료유형
- 단행본
- 86028900 //r88
- ISBN
- 0201142260 : : ?7.95
- 미국회청구기호
- QA76.76.D47-T87 1987
- DDC
- 005.1-19
- 저자명
- Turski, W켥dys켥w.
- 서명/저자
- The specification of computer programs : W켥dys켥w M. Turski, Thomas S.E. Maibaum
- 발행사항
- Wokingham, England ; : Addison-Wesley, c1987.
- 형태사항
- x, 278 p. : ill. ; 25 cm.
- 총서명
- International computer science series
- 주기사항
- Includes index.
- 서지주기
- Bibliography: p. 272-274.
- 기타저자
- Maibaum, Thomas S. E., , 1947-
- 청구기호
- 005.1 T961S
- Control Number
- ydul:27123
