Modeling from A to Z

Contents
/Front Cover/ /Back Cover/
 * Modelling principles
 * Alloy analyzer
 * B-method
 * OWL-DL
 * VDM
 * Z
 * Model of Waste Management System
 * NoWasteNoWant Firm