Автор:Бейбер Роберт Лоренс Год: 1996 Издание:Радио и связь Страниц: [не указано] ISBN: 525601336X Приводятся различные способы проверки правильности программного обеспечения. Все содержащиеся выкладки основываются на строгом математическом аппарате. Однако автор, профессор Университета им. Гете, Германия, акцентирует внимание на практических...
