Вы здесь

Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1998
Стр.: 
P.302-343.
Библиография: 
Bibliogr.: p.341-343
Номер: 
2
Том: 
20
Карточка: 

Б3.54, Б2.23.

Jackson D., Jha S., Damon C. A..

Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications// ACM Trans. on Programming Languages and Systems-1998, №2.-Vol. 20.-P.302-343.
Bibliogr.: p.341-343

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