Все книги автора Michael Fisher
Найдено 1 книг
An Introduction to Practical Formal Methods Using Temporal Logic
An Introduction to Practical Formal Methods Using Temporal Logic
The name «temporal logic» may sound complex and daunting; but while they describe potentially comple...