Вы здесь

Inductive Proof Outlines for Monitors in Java

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2003
Стр.: 
P.155-169
Библиография: 
Bibliogr.: p.168-169
Издательство: 
Том: 
2884
Карточка: 

Б2.23, Б3.15.

Abraham E., de Boer F. S., De Roever W. -P., Steffen M..

Inductive Proof Outlines for Monitors in Java: Springer// Lecture Notes in Computer Science-2003.-Vol. 2884.-P.155-169
Bibliogr.: p.168-169

Таблица в старой библиотеке: 
PAP27 849