VDM'90, VDM and Z-formal methods in software development | Bjoerner, Dines. Redacteur / Bezorger / Tekstuitgever
0/5

0 recensie
Titel
VDM'90, VDM and Z-formal methods in software development : third international symposium of VDM Europe, Kiel, April 17-21, 1990 : proceedings
Dines Bjoerner ; C.A.R. Hoare ; H. Langmaack
Auteur(s)
Bjoerner, Dines. Redacteur / Bezorger / Tekstuitgever
Auteur(s)
Hoare, C.A.R. Redacteur / Bezorger / Tekstuitgever
Auteur(s)
Langmaack, H. Redacteur / Bezorger / Tekstuitgever
Auteur(s)
The Vienna Development Method-Europe (S.l)
Auteur(s)
International symposium of VDM Europe. 3rd, April 17-21, 1990
ISBN
3-540-52513-0 ; 0-387-52513-0
Bibliografisch adres
Berlin ; Heidelberg ; New York : Springer, 1990
Taal
Engels
Land
Various places
Collatie
XVII, 579 p. : ill., diagr. ; 24 cm
Behoort tot
Lecture notes in computer science / Goos, Gerhard ; 428
ISBD
Bekijk de ISBD weergave
VDM'90, VDM and Z-formal methods in software development : third international symposium of VDM Europe, Kiel, April 17-21, 1990 : proceedings / Dines Bjoerner ; C.A.R. Hoare ; H. Langmaack. - Berlin ; Heidelberg ; New York : Springer, 1990. - XVII, 579 p : ill., diagr. ; 24 cm. - ISBN 3-540-52513-0.


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

Een document aanvragen

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