Вы здесь

Главная

The Korso Case Study for Software Engineering with Formal Methods: A Medical Information System

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

Б3.5, Б5.35.

Cornelius F., Hussmann H., Lowe M..

The Korso Case Study for Software Engineering with Formal Methods: A Medical Information System-Berlin, Heidelberg.: Springer// KORSO: Methods, Languages, and Tools for the Construction of Correct Software, 1995.-Vol. 1009.-P.417-445-(Lecture Notes in Computer Science).
Bibliogr.: p.443-445

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