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