The programming process : an introduction using VDM and Pascal /

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Latham, John T. (John Timothy), 1959-
Tác giả khác: Bush, Vicky J. (Vicky Jane), 1954-, Cottam, Ian D. (Ian David), 1951-
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., c1990.
Loạt:International computer science series
Những chủ đề:
LEADER 01342cam a2200325 a 4500
001 c000174480
003 CARM
005 20041025165816.0
008 891101s1990 enka b 001 0 eng
010 |a 89048250 
019 1 |a 6850864  |z 6856321  |5 LACONCORD2021 
020 |a 0201416611 
035 |a (OCoLC)20693937  |5 LACONCORD2021 
040 |a DLC  |b eng  |c DLC  |d DLC  |d LC 
050 0 |a QA76.73.P2  |b L38 1990 
050 0 0 |a QA76.73.P2  |b L38 1990 
082 0 0 |a 005.1  |2 20 
100 1 |a Latham, John T.  |q (John Timothy),  |d 1959- 
245 1 4 |a The programming process :  |b an introduction using VDM and Pascal /  |c John T. Latham, Vicky J. Bush, Ian D. Cottam. 
260 |a Wokingham, England ;  |a Reading, Mass. :  |b Addison-Wesley Pub. Co.,  |c c1990. 
300 |a xvii, 537 p. :  |b ill. ;  |c 24 cm. 
440 0 |a International computer science series 
504 |a Includes bibliographical references (p. 491) and index. 
650 0 |a Pascal (Computer program language) 
650 0 |a Computer software  |x Development. 
700 1 |a Bush, Vicky J.  |q (Vicky Jane),  |d 1954- 
700 1 |a Cottam, Ian D.  |q (Ian David),  |d 1951- 
852 8 |b CARM  |h A2:AN08F0  |i C06224  |p 0244857  |f BK 
999 f f |i 6369a694-bdf7-57ce-ba76-8f661369c828  |s 1e946214-d96b-56cf-9622-0063a802fa82 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C06224  |f A2:AN08F0  |h Other scheme  |i book  |m 0244857