Art

J-GLOBAL ID：200902023199362633   Reference number：87A0163892

VDM in research, development, and education : Local experiences.

研究,開発,教育におけるVDM 局所的経験

Author (2)： HENHAPL W (Technical Univ. Darmstadt, DEU) ,  LETSCHERT TH (Technical Univ. Darmstadt, DEU)
Material： Formal Models in Programming  (Form Model Program)
Page： 157-180  Publication year： 1985 
JST Material Number： K19860613  ISBN： 0-444-87888-2  Document type： Proceedings
Article type： 原著論文  Country of issue： Netherlands (NLD)  Language： ENGLISH (EN)

Thesaurus term： computer science ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=87A0163892&from=J-GLOBAL&jstjournalNo=K19860613") }}

JST classification (1)： Engineering education  (JA01050T)

Terms in the title (5)： 研究 ,  開発 ,  教育 ,  VDM ,  経験