Software specification techniques /

Sparad:
Bibliografiska uppgifter
Övriga upphovsmän: Gehani, Narain, 1947-, McGettrick, Andrew D., 1944-
Materialtyp: Bok
Språk:English
Publicerad: Workingham, England ; Reading, Mass. : Addison-Wesley, c1986.
Serie:International computer science series
Ämnen:
LEADER 01080nam a2200265 a 4500
001 c000005377
003 CARM
005 00000000000000.0
008 850130s1986 enka b 00000 eng
019 1 |a 3748153  |z 23919665  |z 64907641  |5 LACONCORD2021 
020 |a 0201142309 :  |c L.24.95 (est.) 
035 |a (OCoLC)11728388  |5 LACONCORD2021 
050 0 0 |a QA76.6  |b .S6437 1986 
245 0 0 |a Software specification techniques /  |c [edited by] Narain Gehani, Andrew McGettrick. 
260 |a Workingham, England ;  |a Reading, Mass. :  |b Addison-Wesley,  |c c1986. 
300 |a xii, 477 p. :  |b ill. ;  |c 25 cm. 
440 0 |a International computer science series 
504 |a Bibliography: p. 455-477. 
650 0 |a Computer software  |x Specifications. 
700 1 |a Gehani, Narain,  |d 1947- 
700 1 |a McGettrick, Andrew D.,  |d 1944- 
852 8 |b CARM  |h A2:AK32F0  |i C03759  |p 0193785  |f BK 
082 0 4 |a 001.64/25  |2 19 
999 f f |i 6ab35353-c945-59f4-a389-1d42d5eed050  |s c793b571-7c6d-5d0c-a033-31104c99cd72 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C03759  |f A2:AK32F0  |h Other scheme  |i book  |m 0193785