Вы здесь

Logic Verification of ANSI-C Code with SPIN

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2000
Стр.: 
P.131-147
Библиография: 
Bibliogr.: p.146-147
Том: 
1885
Карточка: 

Б2.23, Б3.54.

Holzmann G. J..

Logic Verification of ANSI-C Code with SPIN// Lecture Notes in Computer Science-2000.-Vol. 1885.-P.131-147
Bibliogr.: p.146-147

Таблица в старой библиотеке: 
PAP21 844