1 - 4 of 4 results for "Derek Andrews"

Title: Practical Formal Methods with VDM, Author: Derek Andrews
Title: Computing for Non-Scientific Applications, Author: Derek Andrews
Title: The Accelerating Pace of Change to our Troubled World, Author: Derek Andrews
Title: Formal Methods in Standards: A Report from the BCS Working Group, Author: C. L. N. Ruggles