Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Hlavní strana
Publikace dané osoby
Mosses, Peter D., 1948-
Biografické údaje:
Obor působnosti počítačová věda.
Alternativně jako:
Mosses, Peter, 1948-
Zdroj:
Bidoit, M. - Mosses, Peter D.: CASL user manual
LC (Names)
www (Department of Computer Science, University of Aarhus, Denmark)
Další informace:
Publikace dané osoby
6
Publikace o dané osobě
0
Metadata
Podrobné výsledky >>
CASL reference manual : the complete documentation of the common algebraic specification language
CASL user manual : introduction to using the common algebraic specification language
Recent trends in algebraic development techniques : 14th international workshop, WADT '99, Chateau de Bonas, September 15-18, 1999. Selected papers
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
TAPSOFT '95 : Theory and Practice of Software Development. 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22-26, 1995. Proceedings
Publikace dané osoby
×
Načítá se...