Verification Based on Monadic Logic | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Basic Research in Computer Science

Вид:

Препринт

Год:

1996

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

верификация

аппаратный

автоматический

корректность

Стр.:

43 p.

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

Bibliogr.: p.39-41

Место издания:

Номер:

NS-96-3

Карточка:

А3.14, А3.22, В3.3.

Basin D. A..

Verification Based on Monadic Logic-Trykkeriet., 1996.-43 p.-(Препринт Basic Research in Computer Science №NS-96-3).
Bibliogr.: p.39-41

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

PREP2 387