[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || The B-method
- 作者Prehn, Søren; Toetenel, Hans
- 文件大小434.39KB
- 发表时间1991
- DOI10.1007/BFb0020001
- 页码398-405
[Novartis Foundation Symposia] Ciba Foundation Symposium 72 - Sulphur in Biology (Ciba/Sulphur) || FrontmatterElliott, Katherine; Whelan, Julie · 1980
[Novartis Foundation Symposia] Ciba Foundation Symposium 70 - Development of Mammalian Absorptive Processes (Ciba/Development) || IntroductionElliott, Katherine; Whelan, Julie · 1979
[Novartis Foundation Symposia] Ciba Foundation Symposium 70 - Development of Mammalian Absorptive Processes (Ciba/Development) || Sucrase and Cellular DevelopmentElliott, Katherine; Whelan, Julie · 1979
[Novartis Foundation Symposia] Ciba Foundation Symposium 77 - Perinatal Infections (Ciba/Perinatal) || The Secretory IgA System in the Neonatal PeriodElliott, Katherine; O'Connor, Maeve; Whelan, Julie · 1980
[Novartis Foundation Symposia] Ciba Foundation Symposium 72 - Sulphur in Biology (Ciba/Sulphur) || Pathways of Assimilatory Sulphate Reduction in Plants and MicroorganismsElliott, Katherine; Whelan, Julie · 1980
[Novartis Foundation Symposia] Ciba Foundation Symposium 70 - Development of Mammalian Absorptive Processes (Ciba/Development) || Membrane Digestion and Nutrient Assimilation in Early DevelopmentElliott, Katherine; Whelan, Julie · 1979
[Novartis Foundation Symposia] Ciba Foundation Symposium 70 - Development of Mammalian Absorptive Processes (Ciba/Development) || Perinatal Changes in the Absorption of Trace ElementsElliott, Katherine; Whelan, Julie · 1979
[Novartis Foundation Symposia] Ciba Foundation Symposium 49 - Health and Disease in Tribal Societies (Ciba/Health) || Diet and Nutrition of Hunter-GatherersElliott, Katherine; Whelan, Julie · 1977