Загрузка...

Formal specification and software development

Библиографические подробности
Главный автор: Bjorner, Diner
Другие авторы: Jones, Cliff B.
Формат: Printed Book
Язык:English
Опубликовано: New Jersy Prentice-hall international 1982
Серии:Printice-Hall International series in computer science
Предметы:

UL

Подробно о фондах из UL
Шифр: 004.414.38 BJO
Копировать Недоступно состояние Live" What does mean the status Live (working)