Cornelis A. Middelburg · 2 obras en el catálogoObrasNNotations for Software DesignNotations for Software DesignLogic and Specification: Extending Vdm-Sl for Advanced Formal Specification (Computer Science : Research and Practice)
Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification (Computer Science : Research and Practice)