Вы здесь
Two-level mixed verification method of C-light programs in terms of safety logic
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2012
Ключевые слова:
Стр.:
P.23-42
Библиография:
Bibliogr.: p.41-42
Издательство:
Номер:
34
Карточка:
Б2.2, Б2.14.
Anureev I. S., Maryasov I. V., Nepomniaschy V. A..
Two-level mixed verification method of C-light programs in terms of safety logic: Springer// Bulletin of the Novosibirsk Computing Center-2012, №34.-P.23-42
Bibliogr.: p.41-42
Таблица в старой библиотеке:
PAP31 783