005 |
|
19980320170933.0 |
010 |
|
|a 2004056526
|
020 |
|
|a1852338814 (alk. paper) :|cNT|2585
|
035 |
|
|a2004056526
|
040 |
|
|aTWNTU|cTWNTU|dTWNTU
|
042 |
|
|apcc
|
050 |
00
|
|aQA76.9.O35|bV35 2005
|
082 |
00
|
|a005.1/17|222
|
095 |
|
|aNTTU|bG|cE027831|d005.117|eV172|pBOOK|fSYNSIA|zBOOK|m0|tDDC
|
245 |
00
|
|aValidated designs for object-oriented systems /|cJohn Fitzgerald ... [et al.].
|
260 |
|
|aLondon :|bSpringer,|cc2005.
|
300 |
|
|axii, 402 p. :|bill. ;|c25 cm.
|
500 |
|
|a"With 89 figures."
|
504 |
|
|aIncludes bibliographical references (p. [383]-385) and index.
|
650 |
0
|
|aObject-oriented methods (Computer science)
|
650 |
0
|
|aFormal methods (Computer science)
|
650 |
0
|
|aSystem design.
|
700 |
1
|
|aFitzgerald, John,|d1965-
|
809 |
|
|d005.117|eV172|tDDC|pBOOK
|