MARC Record
Leader
001
cgw01:000554928
003
BE-GnUNI
005
20250805202152.0
008
901130s1990 ne |||
040
a| BE-GnUNI
080
a| 801.56
082
0
a| 800.92 VVSL
100
1
a| Middelburg, Cornelis Adam,
d| 1948-
0| (viaf)44524032
245
1
0
a| Syntax and semantics of VVSL :
b| a language for structured VDM specifications /
c| Cornelis Adam Middelburg.
260
a| Amsterdam :
b| s.n.,
c| 1990.
300
a| IV, 395 p.
502
a| Diss. doct.
690
a| Beschrijvingstalen.
690
a| VVSL.
710
2
a| Universiteit Amsterdam
852
m| BOOK
b| KANTL
c| KANTL
j| KANTL.D13B8
6| 16174
p| 554928-10
f| 04
F| NO LOAN/open shelves
920
a| thesis