Derek Andrewsの本 - BookPine

The Accelerating Pace of Change to our Troubled World

The Accelerating Pace of Change to our Troubled World

Derek Andrews

Go Contracting - In Ireland

Go Contracting - In Ireland

Eugenie Houston

Semantics of Specification Languages (SoSL): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 - 27 October 1993

Semantics of Specification Languages (SoSL): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 - 27 October 1993

Derek Andrews

Formal Methods in Standards: A Report from the BCS Working Group

Formal Methods in Standards: A Report from the BCS Working Group

Clive L.N. Ruggles

Computing for Non-Scientific Applications

Computing for Non-Scientific Applications

Derek Andrews

Practical Formal Methods With Vdm

Practical Formal Methods With Vdm

Derek Andrews