Вы здесь

A Constraint Oriented Proof Methodology Based on Modal Transition Systems

Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1995
Стр.: 
18 p.
Библиография: 
Bibliogr.: p.10-11.
Место издания: 
Номер: 
MIP-9502
Карточка: 

Б2.23, Б2.42, Б3.5.

Larsen K. G., Steffen B., Weise C..

A Constraint Oriented Proof Methodology Based on Modal Transition Systems-Passau., 1995.-18 p.-(Препринт Univ.Passau №MIP-9502).
Bibliogr.: p.10-11.

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