📖 Программное обеспечение без ошибок

Приводятся различные способы проверки правильности программного обеспечения. Все содержащиеся выкладки основываются на строгом математическом аппарате. Однако автор, профессор Университета им. Гете, Германия, акцентирует внимание на практических...

О книге

автор, издательство, серия
Издательство
Радио и связь
ISBN
5-256-01336-X
Год
1996