Proof-Outlines for Threads in Java | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Abraham-Mumm E.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2000

Ключевые слова:

корректность

программа

Стр.:

P.229-242

Библиография:

Bibliogr.: p.242

Издательство:

Источник:

Lecture Notes in Computer Science

Том:

1877

Карточка:

Б2.23, Б3.15.

Abraham-Mumm E., de Boer F. S..

Proof-Outlines for Threads in Java: Springer// Lecture Notes in Computer Science-2000.-Vol. 1877.-P.229-242
Bibliogr.: p.242

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

PAP21 806