Software Specification and Verification in Rewriting Logic: Lecture 1 | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Techn.Univ.Munchen

Вид:

Препринт

Год:

2002

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

спецификация

верификация

Стр.:

212 p.

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

Номер:

11

Карточка:

Б2.23, Б2.24.

Meseguer J..

Software Specification and Verification in Rewriting Logic: Lecture 1-Munchen., 2002.-212 p.-(Препринт Techn.Univ.Munchen №11).

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

PREP2 925