LibeX: Книжный интернет магазин. Продать книги. Купить книги

Магазин, где можно не только купить, но и продать книги

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

Бейбер, Роберт Лоренс: Программное обеспечение без ошибок

counter

Бейбер, Роберт Лоренс

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

Издательство: М.: Радио и связь
Переплет: мягкий; 176 страниц; 1996 г.
ISBN: 5-256-01336-X; Формат: стандартный
Язык: русский
На сайте с 02.10.2011

Аннотация

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


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


сейчас этого издания книги в продаже нет

попробуйте поискать другие издания этого произведения при помощи ссылок ниже
или оставьте объявление о покупке или продаже


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



назад листать дальше
Первая помощь
>Впервые здесь?
>Как купить
>Как продать
>Зачем регистрироваться
>Платные услуги
еще ...
Поиск на LibeX
 
Название Автор 
расширенный поиск
Поиск на FindBook
findbook лого
 
Название Автор 
 Вход
 Имя:
 Пароль: 
 Запомнить пароль
регистрация
напомнить пароль





 
Индекс цитирования Яndex counter liveinternet.ru