Вы здесь

Software Model Checking Using Linear Constraints

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

Б2.23, Б2.24.

Armando A., Castellini C., Mantovani J..

Software Model Checking Using Linear Constraints-Berlin, Heidelberg.// Lecture Notes in Computer Science, 2004.-Vol. 3308.-P.209-223-(Lecture Notes in Computer Science).
Bibliogr.: p.222-223

Таблица в старой библиотеке: 
PAP29 824