Программное обеспечение без ошибок приемы и секреты создания правильных программ : Пер. с англ.
Бейбер, Роберт Лоренс.
Программное обеспечение без ошибок : приемы и секреты создания правильных программ : Пер. с англ. / Л. Р. Бейбер. — Москва : Радио и связь : Джон Уайли энд Санз, 1996. — 176 с. : ил. — ISBN 5-88182-003-7.
Пер. изд. : Error - Free Software: Know - How and Know Why of Program Correctness / Baber R.L. — Chichester, 1991.
Библиогр. : с. 167-168
Предм. указ. : с. 169-171.
УДК: 004.415.5 ; 681.3.06 ; 519.68
[ SYS NUM: 644 ]
Программное обеспечение без ошибок : приемы и секреты создания правильных программ : Пер. с англ. / Л. Р. Бейбер. — Москва : Радио и связь : Джон Уайли энд Санз, 1996. — 176 с. : ил. — ISBN 5-88182-003-7.
Пер. изд. : Error - Free Software: Know - How and Know Why of Program Correctness / Baber R.L. — Chichester, 1991.
Библиогр. : с. 167-168
Предм. указ. : с. 169-171.
УДК: 004.415.5 ; 681.3.06 ; 519.68
[ SYS NUM: 644 ]