Вы здесь

UML to B: Formal Verification of Object-Oriented Models

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

Б2.23, Б3.54.

Lano K., Clark D., Androutsopoulos K..

UML to B: Formal Verification of Object-Oriented Models// Lecture Notes in Computer Science-2004.-Vol. 2999.-P.187-206
Bibliogr.: p.206

Таблица в старой библиотеке: 
PAP28 722