Formal Specification from Category Theory Viewpoint = Kategoriju teorija un formāla sistēmu specifikācija
2003
Gundars Alksnis

-


Keywords
Formal Specification, Category Theory

Alksnis, G. Formal Specification from Category Theory Viewpoint = Kategoriju teorija un formāla sistēmu specifikācija. Applied computer systems. Vol.17, 2003, pp.137-144. ISSN 1407-7493.

Publication language
English (en)
The Scientific Library of the Riga Technical University.
E-mail: uzzinas@rtu.lv; Phone: +371 28399196