Program Schemata Technique to Solve Propositional Program Logics Revised

Вы здесь

Автор:

Shilov N.

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

2016

Ключевые слова:

иси

Стр.:

P.245-259

Библиография:

Bibliogr.: p.259

Серия:

Lecture Notes in Computer Science

Источник:

PSI 10

Том:

9609

Карточка:

Shilov N..

Program Schemata Technique to Solve Propositional Program Logics Revised// PSI 10-2016.-Vol. 9609.-P.245-259-(Lecture Notes in Computer Science).
Bibliogr.: p.259

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

PAP31 978