Вы здесь
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2003
Ключевые слова:
Стр.:
P.64-78
Библиография:
Bibliogr.: p.78
Издательство:
Источник:
Том:
2884
Карточка:
Б2.14.
Pierik C., de Boer F. S..
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts: Springer// Lecture Notes in Computer Science-2003.-Vol. 2884.-P.64-78
Bibliogr.: p.78
Таблица в старой библиотеке:
PAP27 845