15 results on '"Moore, R. D."'
Search Results
2. The mural VDM Support Tool
3. Implementing the mural proof assistant
4. Foundations of specification animation
5. General introduction
6. Foundation
7. Case Studies
8. Supporting formal software development
9. Introduction to mural
10. Conclusions
11. Instantiation
12. The Role of Intracellular pH in Hormone Action
13. Conversion of a Large Container Furnace from Regenerative Firing to Direct Oxy-Fuel Combustion
14. 100% Oxygen Firing of Regenerative Melters
15. 350°C CMOS Logic Process.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.