cover

Г.П. Можаров, И.В. Парфилов - Подход к поиску взаимных блокировок в многопоточном программном обеспечении с помощью верификатора SPIN

To maximize your viewing experience of this digital publication created with FlippingBook Publisher 2.4.14, we recommend installing Adobe Flash Player Plugin. This installation will only take a few moments. Should you experience any issues with installation, please contact your System Administrator.

Besides, it's possible to view a simplified version of the book on any device.