Разработка и проектирование программ. CASE-технологии
Zb 2002: Formal Specification and Development in Z and B (Lecture Notes in Computer Science, 2272) |
|||
|
|||
Zb 2002: Formal Specification and Development in Z and B (Lecture Notes in Computer Science, 2272) |
|||
|
|||