This study provides an impartial assessment of the current capabilities and significance of a number of software engineering techniques known as "Formal methods", which are based on mathematical and formal logic systems.
Publisher: ERA Technology Ltd
You may also be interested in...
Please sign in to write a review
Thank you for your reservation
Your order is now being processed and we have sent a confirmation email to you at
When will my order be ready to collect?
Call us on or send us an email at
Unfortunately there has been a problem with your order
Please try again or alternatively you can contact your chosen shop on or send us an email at