Вы здесь

Главная

Software Development in PVS Using Generic Development Steps

Автор: 
Dold A.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2000
Ключевые слова: 
generic
формальный
верификация
программное обеспечение
разработка
трансформация
Стр.: 
P.146-161
Библиография: 
Bibliogr.: p.160-161
Издательство: 
Springer
Источник: 
Lecture Notes in Computer Science
Том: 
1766
Карточка: 

Б3.54, Б3.21.

Dold A..

Software Development in PVS Using Generic Development Steps: Springer// Lecture Notes in Computer Science-2000.-Vol. 1766.-P.146-161
Bibliogr.: p.160-161

Таблица в старой библиотеке: 
PAP22 303