Введение в формальные методы верификации программ, ISBN 978-5-93700-340-9 — купить книгу на русском языке с доставкой по всему миру