• VDM '87
  • *Holdings*

*Result*: VDM '87

*Title*:
VDM '87 : VDM - a formal method at work ; VDM Europe symposium 1987, Brussels, Belgium, March 23 - 26, 1987 ; proceedings / VDM '87. ed. by D. Bjørner ...
*Author/editor-in-chief*:
Bjørner, Dines (Herausgeber) 
*Corporate*:
VDM (1 : 1987 : Brüssel)
*Publication*:
Berlin : Springer, 1987
*Physical description scale*:
IX, 422 Seiten : Diagramme
*Format*:
*book*
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; 252
*show_all_volumes*
*Notes*:
Literaturangaben
*RVK-Notation*:
*ST 230* *SS 4000*
*Subject Added Keywords*:
*ISBN*:
3540176543 ; 0387176543

*Additional information*

*Additional functions*