Вы здесь

Главная

Traverdi - Transformation and Verification of Distributed Systems

Автор: 
Bohn J.
Hungar H.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1995
Ключевые слова: 
распределенная система
верификация
трансформация
Стр.: 
P.317-338
Библиография: 
Bibliogr.: p.336-338
Место издания: 
Berlin
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Том: 
1009
Карточка: 

Б3.54.

Bohn J., Hungar H..

Traverdi - Transformation and Verification of Distributed Systems-Berlin, Heidelberg.: Springer// KORSO: Methods, Languages, and Tools for the Construction of Correct Software, 1995.-Vol. 1009.-P.317-338-(Lecture Notes in Computer Science).
Bibliogr.: p.336-338

Таблица в старой библиотеке: 
PAP13 879