Информация о книге

5-256-00156-6

Главная  » Научно-техническая литература » Прикладные науки. Техника » Радиоэлектроника. Связь » Связь » Прикладные методы верификации программ

Непомнящий В.С., Рякин О., Прикладные методы верификации программ

Радио и связь, 1988 г., 256 стр., 5-256-00156-6


Описание книги

Излагаются основы методологии верификации программ и позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Автоматизация наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных областей. Для программистов: может быть полезна инженерам, специализирующимся в области вычислительной технике и прикладной математики.

Поделиться ссылкой на книгу




Об авторе


Последние поступления в рубрике "Связь"



Правила радиосвязи на внутренних водных путях Российской Федерации Правила радиосвязи на внутренних водных путях Российской Федерации 

В Правилах изложены основные положения по организации и обеспечению радиосвязи на внутренних водных путях Российской Федерации....

Приказ Минтранса России от 26.09.2012 N 362 (ред. от 10.05.2017) \ Приказ Минтранса России от 26.09.2012 N 362 (ред. от 10.05.2017) \"Об утверждении Федеральных авиационных правил \"Порядок осуществления радиосвязи в воздушном пространстве Российской Федерации\" 

Федеральные авиационные правила \\\"Порядок осуществления радиосвязи в воздушном пространстве Российской Федерации\\\" разработаны в соответствии с требованиями воздушного законодательства Российской Федерации, с учетом стандартов и рекомендуемой практики, содержащихся в приложении 10 \\\"Авиационная электросвязь\\\" к Конвенции о международной гражданской...

DWDM системы DWDM системы Трещиков В., Листвин В.

Рассмотрены принципы построения волоконно-оптических сетей передачи данных. Наибольшее внимание уделено технологии мультиплексирования каналов по длинам волн (DWDM). Многие рассматриваемые в книге вопросы до сих пор освещались лишь в специальных журналах....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Непомнящий В.С., Рякин О., Прикладные методы верификации программ в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.