HOME > 상세정보

상세정보

Specification of software systems

Specification of software systems (1회 대출)

자료유형
단행본
개인저자
Alagar, Vangalur S. , 1940-. Periyasamy, K.
서명 / 저자사항
Specification of software systems / V.S. Alagar, K. Periyasamy.
발행사항
New York :   Springer ,   c1998.  
형태사항
xx, 422 p. : ill. ; 24 cm.
총서사항
Graduate texts in computer science
ISBN
0387984305 (hardcover : alk. paper) 9780387984308
서지주기
Includes bibliographical references and index.
일반주제명
Software engineering. Computer software -- Specifications.
000 01032camuu2200301 a 4500
001 000045355616
005 20070521163931
008 980320s1998 nyua b 001 0 eng
010 ▼a 98016912
020 ▼a 0387984305 (hardcover : alk. paper)
020 ▼a 9780387984308
035 ▼a (KERIS)REF000004689048
040 ▼a DLC ▼c DLC ▼d DLC ▼d 211009
050 0 0 ▼a QA76.758 ▼b .A42 1998
082 0 0 ▼a 005.1 ▼2 22
090 ▼a 005.1 ▼b A316s
100 1 ▼a Alagar, Vangalur S. , ▼d 1940-.
245 1 0 ▼a Specification of software systems / ▼c V.S. Alagar, K. Periyasamy.
260 ▼a New York : ▼b Springer , ▼c c1998.
300 ▼a xx, 422 p. : ▼b ill. ; ▼c 24 cm.
490 1 ▼a Graduate texts in computer science
504 ▼a Includes bibliographical references and index.
650 0 ▼a Software engineering.
650 0 ▼a Computer software ▼x Specifications.
700 1 ▼a Periyasamy, K.
830 0 ▼a Graduate texts in computer science (Springer-Verlag New York Inc.)
945 ▼a KINS

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 005.1 A316s 등록번호 121146945 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

목차

The Role of Specifications.- Specification Activities.- Specification Qualities.- Abstraction.- Formal Systems.- Logic.- Set Theory and Relations.- Algebraic Specifications.- Vienna Development Method.- The Z Notation.- Larch.


정보제공 : Aladin

관련분야 신착자료

Ramamurthy, Bina (2021)
윤관식 (2020)