VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings /

Saved in:
Bibliographic Details
Corporate Authors: VDM '88, Dublin, Ireland, VDM-Europe
Other Authors: Marshall, L., Bloomfield, R., Jones, R. (Roger B.)
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, c1988.
Series:Lecture notes in computer science ; 328.
Subjects:
LEADER 01451nam a2200373 a 4500
001 c000161285
003 CARM
005 19991004000000.0
008 880810s1988 wb a b 100 0 eng
010 |a 88024877 
019 1 |a 6005825  |5 LACONCORD2021 
020 |a 3540502149 
035 |a (OCoLC)18411922  |5 LACONCORD2021 
040 |a DLC  |b eng  |c DLC  |d DLC  |d LC 
043 |a ew----- 
050 0 0 |a QA76.76.D47  |b V854 1988 
082 0 0 |a 005.1  |2 19 
111 2 |a VDM '88,  |d (1988 :  |c Dublin, Ireland) 
245 1 0 |a VDM '88 :  |b VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings /  |c R. Bloomfield, L. Marshall, R. Jones (eds.) 
246 3 |a VDM, the way ahead. 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c c1988. 
300 |a ix, 499 p. :  |b ill. ;  |c 24 cm. 
440 0 |a Lecture notes in computer science ;  |v 328. 
504 |a Includes bibliographies. 
650 0 |a Computer software  |x Development  |x Congresses. 
650 0 |a Computer software industry  |z European Economic Community countries  |x Congresses. 
700 1 |a Marshall, L. 
700 1 |a Bloomfield, R. 
700 1 |a Jones, R.  |q (Roger B.) 
710 2 |a VDM-Europe. 
740 0 |a VDM, the way ahead. 
852 8 |b CARM  |h A2:AL20F0  |i C05357  |p 0212719  |f BK 
999 f f |i e9cc653a-ca8d-5db9-8231-cae3217c8700  |s 228d7298-aaec-555d-afd5-9c47cc565b82 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C05357  |f A2:AL20F0  |h Other scheme  |i book  |m 0212719