HOME > Detail View

Detail View

Specification of software systems

Specification of software systems (Loan 1 times)

Material type
단행본
Personal Author
Alagar, Vangalur S. , 1940-. Periyasamy, K.
Title Statement
Specification of software systems / V.S. Alagar, K. Periyasamy.
Publication, Distribution, etc
New York :   Springer ,   c1998.  
Physical Medium
xx, 422 p. : ill. ; 24 cm.
Series Statement
Graduate texts in computer science
ISBN
0387984305 (hardcover : alk. paper) 9780387984308
Bibliography, Etc. Note
Includes bibliographical references and index.
Subject Added Entry-Topical Term
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

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 005.1 A316s Accession No. 121146945 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

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.


Information Provided By: : Aladin

New Arrivals Books in Related Fields