Вы здесь

Methods and Logics for Proving Programs

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1994
Стр.: 
P.841-993.
Библиография: 
Bibliogr.: p.978-993
Место издания: 
Издательство: 
Карточка: 

Б2.14, Б2.24.

Cousot P..

Methods and Logics for Proving Programs-Cambridge.: The MIT Press// Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B, 1994.-P.841-993.
Bibliogr.: p.978-993

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