| 000 | 01071camuu2200313 a 4500 | |
| 001 | 000045408768 | |
| 005 | 20071220162714 | |
| 008 | 960403s1996 enka b 001 0 eng | |
| 010 | ▼a 96015929 | |
| 020 | ▼a 0132422077 (pbk.) | |
| 020 | ▼a 9780132422079 | |
| 035 | ▼a (KERIS)REF000014283765 | |
| 040 | ▼a DLC ▼c DLC ▼d DLC ▼d 211009 | |
| 050 | 0 0 | ▼a QA76.76.D47 ▼b P68 1996 |
| 082 | 0 4 | ▼a 005.1/2 ▼a 005.133 ▼2 22 |
| 090 | ▼a 005.133 ▼b P866i2 | |
| 100 | 1 | ▼a Potter, Ben. |
| 245 | 1 3 | ▼a An introduction to formal specification and Z / ▼c Ben Potter, Jane Sinclair, David Till. |
| 250 | ▼a 2nd ed. | |
| 260 | ▼a London ; ▼a New York : ▼b Prentice Hall , ▼c 1996. | |
| 300 | ▼a xiv, 434 p. : ▼b ill. ; ▼c 24 cm. | |
| 440 | 0 | ▼a Prentice-Hall international series in computer science |
| 504 | ▼a Includes bibliographical references (p. 414-418) and index. | |
| 650 | 0 | ▼a Computer software ▼x Development. |
| 650 | 0 | ▼a Z (Computer program language) |
| 700 | 1 | ▼a Sinclair, Jane. |
| 700 | 1 | ▼a Till, David. |
| 945 | ▼a KINS |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.133 P866i2 | 등록번호 121161799 (1회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
A kinder and gentler introduction to software engineering using a toolkit of notation to explain the behavior of computer-based information systems, allowing the reader to investigate system specifications before construction. Emphasis is on methods of proof by logical argument, and methods for determining how to proceed from pure specification to executable code. Assumes familiarity with algebraic notation. This second edition contains new information on theta, free types, and schema normalization and promotion, plus new case studies and exercises with solutions. Annotation c. by Book News, Inc., Portland, Or.
정보제공 :
저자소개
David Till(지은이)
<초보자를 위한 윈도우 NT Perl 5 21일 완성>
Ben Potter(지은이)
Jane Sinclair(지은이)