Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2001

Ключевые слова:

инструментарий

критический

программное обеспечение

Стр.:

P.229-240

Библиография:

Bibliogr.: p.240

Издательство:

Источник:

Lecture Notes in Computer Science

Том:

2043

Карточка:

Б3.5, Б4.55.

Foulger D., King S..

Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software: Springer// Lecture Notes in Computer Science-2001.-Vol. 2043.-P.229-240
Bibliogr.: p.240

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

PAP23 211