Вы здесь

Formal Methods for Real-Time and Probabilistic Systems: Proc./5th Intern. AMAST Workshop, ARTS 99. Bamberg, Germany, May 1999

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
1999
Стр.: 
355 p.
Редактор: 
Место издания: 
Издательство: 
Том: 
1601
Карточка: 

А3.45, А3.54, Б3.5, Б2.2.

Formal Methods for Real-Time and Probabilistic Systems: Proc./5th Intern. AMAST Workshop, ARTS 99. Bamberg, Germany, May 1999Ed. by Katoen J. -P..-Berlin, Heidelberg.: Springer, 1999.-Vol. 1601.-355 p.-(Lecture Notes in Computer Science).

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