Вы здесь

Formal Techniques for Systems Specification and Verification

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1991
Стр.: 
P.245-272.
Реферат: 
Формальные методы спецификации и верификации систем.
Библиография: 
Bibliogr.: p.271-272.
Источник: 
Номер: 
3
Том: 
16
Карточка: 

Б3.54, Б2.24.

Carmo J., Sernadas A..

Formal Techniques for Systems Specification and Verification// Information Systems-1991, №3.-Vol. 16.-P.245-272.
Bibliogr.: p.271-272.

Таблица в старой библиотеке: 
PAP3 41