Toward C# Program Verification: A Three-level Approach | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Nepomniaschy V. A.

Dubranovsky I. V.

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

1

Колл. автор:

Вид:

Препринт

Год:

2005

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

верификация

последовательный

объектно-ориентированный

программа

Стр.:

38 p.

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

Bibliogr.: p.37-38

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

Номер:

128

Карточка:

Б2.23, Б3.54.

Nepomniaschy V. A., Anureev I. S., Dubranovsky I. V., Promsky A. V..

Toward C# Program Verification: A Three-level Approach-Novosibirsk., 2005.-38 p.-(Препринт IIS SB RAS №128).
Bibliogr.: p.37-38

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

ISI2 714