Вы здесь

Главная

Proving Total Correctness of Programs in Wear Second-Order Logic

Автор: 
Berghammer R.
Elbl B.
Schmerl U.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Ключевые слова: 
язык программирования
корректность
программа
логика
Стр.: 
P.51-72.
Библиография: 
Bibliogr.: p.72
Место издания: 
Berlin Et Al.
Издательство: 
Springer
Источник: 
Lecture Notes in Computer Science
Том: 
666
Карточка: 

Б2.23.

Berghammer R., Elbl B., Schmerl U..

Proving Total Correctness of Programs in Wear Second-Order Logic-Berlin Et Al..: Springer// Lecture Notes in Computer Science, 1993.-Vol. 666.-P.51-72.
Bibliogr.: p.72

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