Rigorous Development of Complex Fault-Tolerant Systems Вид публикации: Book Авторы: Michael Butler; Cliff B. Jones; Alexander Romanovsky; Elena Troubitsyna Источник: Berlin: Springer (2006)
