Главная
"Using Z: Specification, Refinement, and Proof" - читать интересную книгу автора
(Jim Woodcock, Jim Davies)
читать онлайн и скачать книгу
у нашего партнера
(14 удобных форматов книги)
© 2024 Библиотека RealLib.org (support [a t] reallib.org)