Proof in VDM : case studies
J.C. Bicarregui (ed.) ; with contributions from Sten Agerholm ... [et al.]
Bok Engelsk 1998
Utgitt | London : Springer , c1998
|
---|---|
Omfang | xiv, 226 s. : ill.
|
Emner | |
ISBN | 3540761861
|
Utgitt | London : Springer , c1998
|
---|---|
Omfang | xiv, 226 s. : ill.
|
Emner | |
ISBN | 3540761861
|