Exploiting Independence for Verification, Refinement, and Modularity | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Techn.Univ.Munchen

Вид:

Препринт

Год:

2002

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

верификация

уточнение

модульность

Стр.:

37 p.

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

Bibliogr.: p.36-37

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

Серия:

Lecture Notes in Computer Science

Номер:

1

Карточка:

Б3.5.

Katz S..

Exploiting Independence for Verification, Refinement, and Modularity-Munchen., 2002.-37 p.-(Препринт Techn.Univ.Munchen №1).-(Lecture Notes in Computer Science).
Bibliogr.: p.36-37

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

PREP2 911