eBooks E-Books The Structure Of an Algebraic Specification (V-U) The Structure Of an Algebraic Specification (Cont.) (V-U) The Dutch National Flag Problem (Cont.) (V-U) Structure of the File System Specification (V-U) Structure of the File System Specification (Cont.) (V-U) Specification of Functions using Pre and Post-Conditions (V-U) Output Variables, Ghost Variables (V-U) Operating System Scheduler, Operations: Delete Start, Middle and End (V-U) New List Specification Methods (V-U) Object Constraint Language (OCL) (V-U) Model Building Tools, Propositional and Predicate Calculus, Logic Problem (V-U) Object Constraint Language (OCL) (Cont.) (V-U) Model Based Specification, VDM (V-U) OBJ (Family of Specification) (V-U) Logic and Set Theory, Logic Problem, Properties of Equivalance (V-U) OBJ (Family of Specification) (Cont.) (V-U) « Previous 1 … 2,336 2,337 2,338 2,339 2,340 … 4,276 Next »
