O'Regan, Gerard
Concise guide to formal methods
theory, fundamentals and industry applications ; Undergraduate topics in computer science
This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal meth ...
In stock since:
01.12.2017
Available