Practical Verification of Embedded Software

Вы здесь

Автор:

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

Вид:

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

Год:

2000

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

Стр.:

P.68-75

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

Bibliogr.: p.74

Источник:

Номер:

Том:

Карточка:

Б3.54.

Staunstrup J., Andersen H. R., Hulgaard H., Lind-Nielsen J., Larsen K. G., Behrmann G., Kristoffersen K., Skou A., Leerberg H., Theilgaard N. B..

Practical Verification of Embedded Software// Computer-2000, №5.-Vol. 33.-P.68-75
Bibliogr.: p.74

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

PAP21 550