Applications of Theorem Proving and Model Checking | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Techn.Univ.Munchen

Вид:

Препринт

Год:

2002

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

проверка

Стр.:

76 p.

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

Номер:

8

Карточка:

В2.11, Б2.1, Б3.5.

Rushby J..

Applications of Theorem Proving and Model Checking-Munchen., 2002.-76 p.-(Препринт Techn.Univ.Munchen №8).

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

PREP2 920