Rigorous Development of Complex Fault-Tolerant Systems

Вид публикации:

Book

Авторы:

Michael Butler; Cliff B. Jones; Alexander Romanovsky; Elena Troubitsyna

Источник:

Berlin: Springer (2006)
Share/Save