[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Towards heterogeneous formal specifications
- 作者Wirsing, Martin; Nivat, Maurice
- 文件大小740.01KB
- 发表时间1996
- DOI10.1007/bfb0014333
- 页码458-472
同期刊推荐
Table of ContentsAustralian Journal of Primary Health · 2013
Table of ContentsAustralian Journal of Primary Health · 2015
MAN Model: Health PromotionDenner, Bernard · Australian Journal of Primary Health · 2000
Introducing our new Editorial BoardKenny, Amanda; Lewis, Virginia · Australian Journal of Primary Health · 2016
Defining the paramedic processCarter, Holly; Thompson, James · Australian Journal of Primary Health · 2015
Walking patterns in pregnancyDoran, Frances M.; Buckley, Nellie A. · Australian Journal of Primary Health · 2013
Enuresis: Myths, Misunderstandings and SolutionsKnapp, Martin · Australian Journal of Primary Health · 1995
Population health planning for health equityKeleher, Helen · Australian Journal of Primary Health · 2011