Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch;
Konferenzbericht
Titel:
VDM '90, VDM and Z - formal methods in software development
:
third international symposium of VDM Europe, Kiel, FRG, April 17 - 21, 1990 ; proceedings