• VDM '90
  • *Holdings*

*Result*: VDM '90

*Title*:
VDM '90 : proceedings ; VDM and Z-formal methods in software development / 3. International Symposium of VDM Europe, Kiel, FRG, April 17 - 21, 1990. Dines Bj/orner ... (eds.)
*Author/editor-in-chief*:
Bjørner, Dines (Herausgeber) 
*Corporate*:
VDM (3 : 1990 : Kiel)
*Publication*:
Berlin : Springer, 1990
*Physical description scale*:
XVII, 579 S
*Format*:
*book*
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; 428
*show_all_volumes*
*RVK-Notation*:
*ST 230* *SS 4000*
*Subject Added Keywords*:
*ISBN*:
3540525130

*Additional information*

*Additional functions*