10 treff

modularisering programmering
Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000 : proceedings
Joint Modular Languages Conference
Bok Engelsk 2000 · Vis mer
Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
Müller-Olm, Markus
Bok Engelsk 1997 · Vis mer
Genbrug i programmeludvikling. 2. Industriel programmeludvikling baseret på klientparadigmet
Bent Pagh
Bok Dansk 1992 · Vis mer
Objektorienterad programmering : översikt och erfarenheter i USA
Arto Järvinen
Bok Språk ikke angitt 1988 · Vis mer
Genbrug i programmeludvikling : modulbegrebet som basis for industriel udvikling af programmel
Hans Kyster, red.
Bok Dansk 1989 · Vis mer
On information discharging and retrieval in Martin-Löfs type theory
by Anne Salvesen
Bok Engelsk 1989 · Les boka på nett · Vis mer
Abstraction issues in modern programming languages
Anund Lie
Bok Språk ikke angitt 1987 · Vis mer
Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Ge[r]many, September 8-12, 1997 : revised lectures
COMPOS'97
Bok Engelsk 1998 · Vis mer
Safe language mechanisms for modularization and concurrency
Martin Büchi
Bok Engelsk 2000 · Vis mer
Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship
J. Zwiers
Bok Engelsk 1989 · Vis mer