Вы здесь

On Expressive and Model Checking Power of Propositional Program Logics

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2001
Стр.: 
P.39-46
Библиография: 
Bibliogr.: p.46
Издательство: 
Том: 
2244
Карточка: 

Б2.14.

Shilov N. V., Yi K..

On Expressive and Model Checking Power of Propositional Program Logics: Springer// Lecture Notes in Computer Science-2001.-Vol. 2244.-P.39-46
Bibliogr.: p.46

Таблица в старой библиотеке: 
PAP24 319