https://knigausa.com Just another WordPress site Sat, 21 Mar 2026 02:49:57 +0000 ru-RU hourly 1 https://wordpress.org/?v=6.7.5 https://knigausa.com/product/%d0%bf%d1%80%d0%be%d0%b3%d1%80%d0%b0%d0%bc%d0%bc%d0%bd%d0%be%d0%b5-%d0%be%d0%b1%d0%b5%d1%81%d0%bf%d0%b5%d1%87%d0%b5%d0%bd%d0%b8%d0%b5-%d0%b1%d0%b5%d0%b7-%d0%be%d1%88%d0%b8%d0%b1%d0%be%d0%ba-%d0%bf/ Wed, 07 Feb 2024 16:52:05 +0000 https://knigausa.com/product/%d0%bf%d1%80%d0%be%d0%b3%d1%80%d0%b0%d0%bc%d0%bc%d0%bd%d0%be%d0%b5-%d0%be%d0%b1%d0%b5%d1%81%d0%bf%d0%b5%d1%87%d0%b5%d0%bd%d0%b8%d0%b5-%d0%b1%d0%b5%d0%b7-%d0%be%d1%88%d0%b8%d0%b1%d0%be%d0%ba-%d0%bf/ Приводятся различные способы проверки правильности программного обеспечения. Все содержащиеся выкладки основываются на строгом математическом аппарате. Однако автор, профессор Университета им. Гете, Германия, акцентирует внимание на практических аспектах решения данной проблемы, избавляя создателей программного обеспечения от долгих и скрупулезных доказательств, благодаря которым нужный результат может быть достигнут относительно простыми средствами.

]]> 1577847