Narrow your search

Library

KU Leuven (5)

UCLouvain (5)

UNamur (4)

UAntwerpen (2)

UGent (2)

UHasselt (1)

ULiège (1)


Resource type

book (5)


Language

English (5)


Year
From To Submit

1978 (5)

Listing 1 - 5 of 5
Sort by

Book
A primer on disciplined programming : using PL/I, PL/CS and PL/CT
Authors: ---
ISBN: 0876267126 9780876267127 Year: 1978 Publisher: Cambridge: Winthrop,


Book
Structured programming and problem-solving with PASCAL
Author:
ISBN: 0138548692 9780138548698 Year: 1978 Publisher: Englewood Cliffs: Prentice Hall,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Programming --- Computers --- Problem Solving --- Problem solving --- Structured programming --- PASCAL (Computer program language) --- Résolution de problème --- Programmation structurée --- PASCAL (Langage de programmation) --- Data processing --- Informatique --- Pascal (Computer program language) --- -Structured programming --- 681.3*D22 --- 681.3*D30 --- 681.3*D32 --- 681.3.068 --- COBOL --- Programmeertalen (Programmatuur) --- Computer programming --- Electronic data processing --- Methodology --- Psychology --- Decision making --- Executive functions (Neuropsychology) --- Programming languages (Electronic computers) --- Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Computerwetenschap--?*D30 --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Structured techniques --- Structured programming. --- Data processing. --- Pascal (Computer program language). --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 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) --- Problem solving - Data processing

The Vienna development method : the meta-language
Authors: ---
ISBN: 3540087664 3540358366 9783540087663 Year: 1978 Volume: 61 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Programming --- #TCPW P3.0 --- 681.3*D21 --- 681.3*D22 --- 681.3*F31 --- 681.3*F32 --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- ML (Computer program language) --- ML (Computer program language). --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 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*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Computer science. --- Logic design. --- Programming Languages, Compilers, Interpreters. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Langages de programmation --- Programming languages (Electronic computers) --- Langages de programmation.

Listing 1 - 5 of 5
Sort by