Вы здесь

A Weakest Precondition Semantics for an Object-Oriented Language of Refinement

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Стр.: 
P.1439-1459.
Библиография: 
Bibliogr.: p.1458-1459
Том: 
1709
Карточка: 

Б2.24.

Cavalcanti A., Naumann D. A..

A Weakest Precondition Semantics for an Object-Oriented Language of Refinement// Lecture Notes in Computer Science-1999.-Vol. 1709.-P.1439-1459.
Bibliogr.: p.1458-1459

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