Titel
VDMT '87, VDM : a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings
edited by Dines Bjoerner [et al.]
Auteur(s)
Bjoerner, Dines. Redacteur / Bezorger / Tekstuitgever
Auteur(s)
The Vienna Development Method-Europe (S.l)
Auteur(s)
VDM-Europe symposium. March 23-26, 1987
ISBN
3-540-17654-3 ; 0-387-17654-3
Bibliografisch adres
Berlin ; Heidelberg ; New York : Springer, 1987
Taal
Engels
Land
Various places
Collatie
IX, 422 p. : ill., diagr. ; 24 cm
Behoort tot
Lecture notes in computer science / Goos, Gerhard ; 252
ISBD
Bekijk de ISBD weergave
VDMT '87, VDM : a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings / edited by Dines Bjoerner [et al.]. - Berlin ; Heidelberg ; New York : Springer, 1987. - IX, 422 p : ill., diagr. ; 24 cm. - ISBN 3-540-17654-3.


Fout of probleem melden?
Permalink
Beschikbare exemplaren worden gecheckt...

Een document aanvragen

Beschikbare exemplaren worden gecheckt...
Opladen van de verrijkingen...