Вы здесь

A Polymorphic Sort System for Axiomatic Specification Languages

Автор: 
Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1995
Стр.: 
197 p.
Библиография: 
Bibliogr.: p.191-197.
Место издания: 
Номер: 
TUM-19515
Карточка: 

Б3.51, Б5.13.

Nazareth D..

A Polymorphic Sort System for Axiomatic Specification Languages-Munchen., 1995.-197 p.-(Препринт TUM №TUM-19515).
Bibliogr.: p.191-197.

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