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
Bidoit, Michel, 1957-
Biografické údaje:
Publikace z oboru počítačové techniky.
Zdroj:
LC (Names)
Další informace:
Publikace dané osoby
4
Publikace o dané osobě
0
Metadata
Podrobné výsledky >>
Algebraic system specification and development : A survey and annotated bibliography
CASL user manual : introduction to using the common algebraic specification language
Recent Trends in Data Type Specification : Selected papers
Theory and practice of software development: TAPSOFT '97 : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997. Proceedings
Publikace dané osoby
×
Načítá se...