📖 Программное обеспечение без ошибок
Приводятся различные способы проверки правильности программного обеспечения. Все содержащиеся выкладки основываются на строгом математическом аппарате. Однако автор, профессор Университета им. Гете, Германия, акцентирует внимание на практических...
О книге
автор, издательство, серия- Издательство
- Радио и связь
- ISBN
- 5-256-01336-X
- Год
- 1996