Прикладные методы верификации программ / В. А. Непомнящий, О. М. Рякин ; Под ред. А. П. Ершова

Main Author: Непомнящий, В. А., Валерий АлександровичCoauthor: Рякин, О. М., Олег МихайловичSecondary Author: Ершов, А. П. Language: русский.Country: Россия.Publication: Москва : Радио и связь, 1988 Description: 255 с. : ил.ISBN: 5256001566.Bibliography: Библиогр.: с. 252-254..Subject: вычислительные машины | программы | верификация | прикладные методы | автоматизация | языки программирования
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Barcode
Books НТБ ТПУ Научный фонд 89-2183 Available 13821000308998
Books НТБ ТПУ Научный фонд 89-4173 Available 13821000100913
Total holds: 0

Библиогр.: с. 252-254.

There are no comments on this title.

to post a comment.