Вы здесь

Главная

Representing, Verifying and Applying Software Development Steps using the PVS System

Автор: 
Dold A.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1995
Ключевые слова: 
разработка
программное обеспечение
система
спецификация
верификация
Стр.: 
P.431-445
Библиография: 
Bibliogr.: p.443
Место издания: 
Berlin
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
Algebraic Methodology and Software Technology
Том: 
936
Карточка: 

Б3.52, Б3.54.

Dold A..

Representing, Verifying and Applying Software Development Steps using the PVS System-Berlin, Heidelberg.: Springer// Algebraic Methodology and Software Technology, 1995.-Vol. 936.-P.431-445-(Lecture Notes in Computer Science).
Bibliogr.: p.443

Таблица в старой библиотеке: 
PAP12 778