Вы здесь

Constraint Logic Programming Applied to Model Checking

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2000
Стр.: 
P.30-41
Библиография: 
Bibliogr.: p.38-41
Место издания: 
Издательство: 
Том: 
1817
Карточка: 

Б2.14, Б2.23.

Fribourg L..

Constraint Logic Programming Applied to Model Checking-Berlin, Heidelberg.: Springer// Lecture Notes in Computer Science, 2000.-Vol. 1817.-P.30-41-(Lecture Notes in Computer Science).
Bibliogr.: p.38-41

Таблица в старой библиотеке: 
PAP21 698