Program derivation : the development of programs from specifications /

Saved in:
Bibliografiske detaljer
Hovedforfatter: Dromey, R. G. (R. Geoffrey), 1946-
Format: Bog
Sprog:English
Udgivet: Sydney : Addison-Wesley, 1989.
Serier:International computer science series
Fag:
LEADER 01063cam a2200301 a 4500
001 c000182000
003 CARM
005 20050405131015.0
008 881027s1989 xna b 001 0 eng d
010 |a 88008055 
019 1 |a 6094478  |5 LACONCORD2021 
020 |a 0201416247 
035 |a (OCoLC)18747131  |5 LACONCORD2021 
040 |a ANB  |b eng  |c ANB  |d NU 
042 |a anuc 
050 4 |a QA76.6  |b .D77 1989 
082 0 4 |a 005.1  |2 20 
100 1 |a Dromey, R. G.  |q (R. Geoffrey),  |d 1946- 
245 1 0 |a Program derivation :  |b the development of programs from specifications /  |c Geoff Dromey. 
260 |a Sydney :  |b Addison-Wesley,  |c 1989. 
300 |a xvi, 630 p. ;  |c 24 cm. 
440 0 |a International computer science series 
500 |a Includes index. 
504 |a Bibliography: p. 618. 
650 0 |a Computer programming. 
852 8 |b CARM  |h A2:AK38C0  |i C06429  |p 0246925  |f BK 
999 f f |i 8e2b21a3-4eb0-5133-b35b-1a71c59e5957  |s c47be913-e205-5f98-935f-985f16c36eb7 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C06429  |f A2:AK38C0  |h Other scheme  |i book  |m 0246925