Вы здесь

An Approach to Combining B and Alloy

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2002
Стр.: 
P.140-161
Библиография: 
Bibliogr.: p.160-161
Издательство: 
Том: 
2272
Карточка: 

Б2.23, Б3.54.

Mikhailov L., Butler M..

An Approach to Combining B and Alloy: Springer// Lecture Notes in Computer Science-2002.-Vol. 2272.-P.140-161
Bibliogr.: p.160-161

Таблица в старой библиотеке: 
PAP24 443