Вы здесь

A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models

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

Б2.24.

Vilas A. F., Arias J.J. P., Redondo R.P. D., Solla A. G., Duque J. G..

A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models// Lecture Notes in Computer Science-2004.-Vol. 2999.-P.382-401
Bibliogr.: p.400-401

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