Вы здесь

A Tool-Supported Proof System for Multithreaded Java

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

Б2.23, Б3.54.

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

A Tool-Supported Proof System for Multithreaded Java// Lecture Notes in Computer Science-2003.-Vol. 2852.-P.1-32
Bibliogr.: p.29-32

Таблица в старой библиотеке: 
PAP28 67