Program construction and verification /

other_versions_link
Библиографические подробности
Главный автор: Backhouse, Roland C .
Формат: Printed Book
Язык:English
Опубликовано: London : Prentice -Hall International, Inc. , 1986.
Предметы:
Program verification

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