ComputerAided Pattern Design and Product by Alison Beazley PAPERBACK

Probabilistic methods in differential equations : proceedings of the conference,

Formal Methods and Software Engineering: 23rd International Conference on Formal

Practical Formal Methods with Vdm (McGraw Hill... - Andrews, Derek

Anne Remke / Formal Methods for Industrial Critical Systems9783032009418

Rigorous State-Based Methods: 11th International Conference, ABZ 2025, D?sseldor

Monte Carlo and Quasi- Monte Carlo Methods 1998. Proceedings of a conference hel

Formal Methods for Industrial Critical Systems: 27th International Conference, F