Narrow your search

Library

UAntwerpen (3)

ULiège (3)

KBR (2)

KU Leuven (2)

UGent (2)

UCLouvain (1)

UNamur (1)


Resource type

book (3)


Language

English (3)


Year
From To Submit

1985 (3)

Listing 1 - 3 of 3
Sort by
Seminar on concurrency, Carnegie-Mellon University, Pittsburgh, Pa., July 9-11, 1984
Authors: --- --- ---
ISBN: 3540156704 0387156704 3540395938 9783540156703 Year: 1985 Volume: 197 Publisher: Berlin Springer

Mathematical foundations of software development : proceedings of the international joint conference on theory and practice of software development (TAPSOFT), Berlin, March 1985
Author:
ISBN: 3540151982 0387151982 3540151990 0387151990 3540393021 3540393072 9783540151982 9783540151999 Year: 1985 Volume: 185-186 Publisher: Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Programming --- Computer software --- Logiciels --- Development --- Congresses --- Développement --- Congrès --- 681.3*D22 --- 681.3*E1 --- 681.3*F --- 681.3*F3 --- 681.3*F4 --- Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Data structures: arrays; graphs; lists; tables; trees --- Theory of computation --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*D0 --- 681.3*D2 --- Computerwetenschap--?*D0 --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*F Theory of computation --- 681.3*E1 Data structures: arrays; graphs; lists; tables; trees --- 681.3*D22 Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Développement --- Congrès --- Software engineering. --- Computer science. --- Logic design. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Information theory. --- Combinatorics. --- Theory of Computation. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Combinatorics --- Algebra --- Mathematical analysis --- Communication theory --- Communication --- Cybernetics --- Congresses.

Listing 1 - 3 of 3
Sort by