Contents
- Modelling principles
- Alloy analyzer
- B-method
- OWL-DL
- VDM
- Z
- Model of Waste Management System
- NoWasteNoWant Firm
This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.