Potter, Ben
QRcode
자료유형 | 도서 |
---|---|
서명/저자사항 | An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till. |
개인저자 | Potter, Ben. Sinclair, Jane. Till, David. |
발행사항 | London ; New York : Prentice Hall, 1991. |
형태사항 | xiii, 304 p. : ill. ; 24 cm. |
총서사항 | Prentice-Hall international series in computer science |
ISBN | 0134787021 (pbk.) |
서지주기 | Includes bibliographical references and index. |
일반주제명 | Computer software -- Development. Z (Computer program language) |
분류기호 | 566.812 |
언어 | 영어 |
서평 (0 건)
*주제와 무관한 내용의 서평은 삭제될 수 있습니다.
서평추가