Program Optimization Using Invariants

Библиографические подробности

Опубликовано в::	IEEE Transactions on Software Engineering vol. 4, no. 5 (Sep 1978), p. 378
Главный автор:	Katz, S
Опубликовано:	IEEE Computer Society
Предметы:	Software Programs Optimization Mathematical models Computer science Computer programming Computers Semantics Colleges & universities
Online-ссылка:	Citation/Abstract Full Text - PDF
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!