Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning

$23.00