Обложка книги Zb 2000: Formal Specification and Development in Z and B (Lecture Notes in Computer Science, 1878)

Zb 2000: Formal Specification and Development in Z and B (Lecture Notes in Computer Science, 1878)

, , ,

ISBN: 3540679448;
Издательство: Springer-Verlag Telos