A Formal Framework for the Java Bytecode Language and Verifier

Вы здесь

Автор:

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

Вид:

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

Год:

1999

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

Стр.:

P.147-166.

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

Bibliogr.: p.165-166

Источник:

Номер:

Том:

Карточка:

Б2.2.

Freund S. N., Mitchell J. C..

A Formal Framework for the Java Bytecode Language and Verifier// SIGPLAN Notices-1999, №10.-Vol. 34.-P.147-166.
Bibliogr.: p.165-166

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

ACM6 150