MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "The Vienna Development Method The Meta-Language" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Main Publications  
  • by Cliff B. Jones, D. Bjrner, W. Henhapl, H. Bekic, H. Bekic, H. Izbicki, H. Barringer, B. T. Denvir, V. A. Downes, C. B. Jones, C. B. Jones, C. B. Jones, R. A. Snowdon, M. K. Tordoff — 2000
  • … modified report. In D. Bjrner and C. B. Jones, editors, The Vienna Development Method: The Meta-Language…
  • Add To MetaCart
  • The VDM Bibliography  
  • by Peter Gorm, Peter Gorm Larsen (editor
  • …] D. Bj��rner. Programming in the Meta-Language: A Tutorial. The Vienna Development Method: The Meta-Language…
  • Add To MetaCart
  • The FME Rail Annotated Rail Bibliography  
  • by Dines Bjørner — 1998
  • …, editors. The Vienna Development Method: The Meta-Language, volume 61 of Lecture Notes in Computer Science…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB