Описание
Roland C Backhouse, University of Essex. Program Construction and Verification Computer Science Series.
Детали книги
Формат
Мягкая обложка
Страницы
281 страниц
Язык
Английский
Опубликовано
янв 1, 1986
Издатель
Prentice Hall
Издания
Изданий: 2
ISBN-10
0137291469
ISBN-13
9780137291465