07  мар

Доказательство правильности программ скачать


Доказательство правильности программНазвание: Доказательство правильности программ
Автор: Андерсон Р.
Издательство: Мир
Год издания: 1982
Страниц: 168
Формат: DJVU
Размер: 3,12 МБ
Качество: Хорошее, 600 дпи, цветные обложки
В книге американского специалиста изложены основные принципы доказательства правильности программ для ЭВМ. Принципы доказательства иллюстрируются многочисленными примерами программ, представленных блок-схемами или записанных на языках высокого уровня. Материал излагается в простой и доступной форме. Для пользователей ЭВМ, аспирантов и студентов, изучающих программирование.







Разместил admin в категорию КНИГИ / Наука и учёба (книги)
Доказательство правильности программ скачали 330 раз






Похожие по теме публикации:


Комментарии:
Добавление комментария

Ваше Имя:
Ваш E-Mail: (необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent