| 000 | 00990pamuuu200313 a 4500 | |
| 001 | 000000576200 | |
| 003 | OCoLC | |
| 005 | 19971215162141.0 | |
| 008 | 900709s1991 nyua b 001 0 eng | |
| 010 | ▼a 90007763 | |
| 015 | ▼a GB90-40768 | |
| 019 | ▼a 22243663 | |
| 020 | ▼a 0134787021 (paperback) : ▼c $32.50 | |
| 040 | ▼a DLC ▼c DLC ▼d UKM | |
| 049 | ▼a ACSL ▼l 121032245 | |
| 050 | 0 0 | ▼a QA76.76.D47 ▼b P68 1990 |
| 082 | 0 0 | ▼a 005.13/3 ▼2 20 |
| 090 | ▼a 005.133 ▼b P866i | |
| 100 | 1 | ▼a Potter, Ben. |
| 245 | 1 3 | ▼a An introduction to formal specification and Z / ▼c Ben Potter, Jane Sinclair, David Till. |
| 260 | ▼a New York : ▼b Prentice Hall, ▼c 1991. | |
| 300 | ▼a xiii, 304 p. : ▼b ill. ; ▼c 24 cm. | |
| 440 | 0 | ▼a Prentice-Hall international series in computer science |
| 504 | ▼a Includes bibliographical references and index. | |
| 650 | 0 | ▼a Computer software ▼x Development. |
| 650 | 0 | ▼a Z (Computer program language) |
| 653 | ▼a Computers ▼a Design | |
| 700 | 1 | ▼a Sinclair, Jane. |
| 700 | 1 | ▼a Till, David. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.133 P866i | 등록번호 121032245 (3회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
Primarily intended as an introduction to the ideas of formal specification, to form part of an undergraduate course in computer science and providing a new approach to the process of software development, based on the work of the Z community at the Programming Research Group at Oxford, the main emphasis of this book is on formal specification. Features include discussions of formal methods of program development from specifications, and management issues involved in the adoption of more formal approaches to software development. It introduces concepts from discrete mathematics which are relevant to formal specification and presents the basic ideas involved in rigorous methods of software development from formal specifications.
정보제공 :
저자소개
David Till(지은이)
<초보자를 위한 윈도우 NT Perl 5 21일 완성>
Ben Potter(지은이)
Jane Sinclair(지은이)