Вы здесь

Главная

How to Cook a Complete Hoare Logic for Your Pet OO Language

Автор: 
de Boer F. S.
Pierik C.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2004
Ключевые слова: 
логика хоара
объектно-ориентированный
методология
язык программирования
полнота
Стр.: 
P.111-133
Библиография: 
Bibliogr.: p.132
Место издания: 
Berlin
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
Lecture Notes in Computer Science
Том: 
3188
Карточка: 

Б2.14, Б3.15.

de Boer F. S., Pierik C..

How to Cook a Complete Hoare Logic for Your Pet OO Language-Berlin, Heidelberg.: Springer// Lecture Notes in Computer Science, 2004.-Vol. 3188.-P.111-133-(Lecture Notes in Computer Science).
Bibliogr.: p.132

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