Program Construction and Verification

other_versions_link
Библиографические подробности
Главный автор: Backhouse, Roland C
Формат: Printed Book
Язык:English
Опубликовано: Prentice-Hall 1986
Описание
Объем:281
ISBN:0-13-729153-1

Схожие документы