Вы здесь
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