Вы здесь

Implicit State Approach for Formalization of Sequential Java-like Programs

Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
2002
Стр.: 
23 p.
Библиография: 
Bibliogr.: p.22-23
Номер: 
2002-10
Карточка: 

Б2.24.

Lellahi K., Zamulin A. V..

Implicit State Approach for Formalization of Sequential Java-like Programs-2002.-23 p.-(Препринт Inst. Galilee Univ. Paris Nord №2002-10).
Bibliogr.: p.22-23

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