Вы здесь

Error-tracing axiomatic semantics for C-kernel

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2010
Стр.: 
P.123-138
Выпуск: 
31
Библиография: 
Bibliogr.: p.138
Серия: 
Карточка: 

Б2.2, Б2.14.

Promsky A. V..

Error-tracing axiomatic semantics for C-kernel// Bulletin of the Novosibirsk Computing Center-2010.-P.123-138-(Computer Science, Вып.31).
Bibliogr.: p.138

Таблица в старой библиотеке: 
ISI3 137