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 ...
Im Bestand seit:
01.12.2017
Verfügbar