На главную

Верификация C-программ с помощью смешанной аксиоматической семантики : автореф. дис. на соиск. учен. степ. к. ф.-м. н. : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>

Верификация C-программ с помощью смешанной аксиоматической семантики : автореф. дис. на соиск. учен. степ. к. ф.-м. н. : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>

18 с.

Российская Национальная Библиотека

Полное библиографическое описание

  • 100% от первой страницы документа

  • Произвольный отрывок, составляющий 25% документа

  • Произвольный отрывок, составляющий 25% документа

Обложка
Открыть в мобильном приложении