Model Checking. Верификация параллельных и распределенных программных систем — Юрий Карпов — купить книгу на русском языке с доставкой по всему миру