Каталог: Компьютеры »•» Программирование

	Бейбер, Роберт Программное обеспечение без ошибок
	Издательство: Радио и связь
	Переплет: мягкий; 176 страниц; 1996 г.
	ISBN: 5-88182-003-7; Формат: стандартный
	Язык: русский
	На сайте с 27.06.2012

Аннотация

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

В продаже   Хочу купить

Продавец: zanassa (Москва, RU/77 )   Состояние: новое; В продаже с 10.01.2022 Условия доставки и оплаты Способы доставки: самовывоз; почтой по предоплате Способы оплаты: наличными; электронный платеж (WM, Y.Д и т.п.) Дополнительно: Уважаемые покупатели на выкуп заказа отводиться семь дней с момента подтверждения наличия книги, по истечении данного срока заказ анулируется. При заказах на сумму более 5000 р. возможен прием оплаты от организаций по безналичному расчету.

Цена 350 руб

Искать похожие  только название автор и название

Добавить объявление продаю хочу купить

листать