Narrow your search

Library

UCLouvain (12)

UGent (3)

ULiège (1)

UMons (1)

UNamur (1)


Resource type

book (16)


Language

English (14)

French (2)


Year
From To Submit

1993 (1)

1989 (2)

1987 (1)

1985 (4)

1984 (1)

More...
Listing 1 - 10 of 16 << page
of 2
>>
Sort by

Book
Scientific applications of multiprocessors
Authors: ---
ISBN: 0137957742 9780137957743 Year: 1989 Publisher: Englewood Cliffs (N.J.) : Prentice-Hall,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
The theory of mathematical machines
Authors: ---
Year: 1963 Publisher: Oxford: Pergamon,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
The Z Notation - A Reference Manual
Authors: ---
Year: 1989 Publisher: [Lieu de publication inconnu]: Prentice Hall,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Schema --- Z Language --- refinement --- Specification


Book
Processus séquentiels communicants
Authors: --- ---
ISBN: 2225811008 Year: 1987 Publisher: Paris : Masson,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
VDM : une méthode rigoureuse pour le développemnt de logiciel
Authors: --- ---
ISBN: 9782225828126 2225828121 Year: 1993 Publisher: Paris: Masson,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Structured programming
Authors: --- ---
Year: 1972 Publisher: London: Academic press,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
The theory of mathematical machines
Authors: --- ---
Year: 1963 Publisher: Oxford : Pergamon press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Machine theory.


Book
Structured programming
Authors: --- ---
Year: 1972 Publisher: London : Academic press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Programming is an engineering profession
Authors: ---
Year: 1982 Publisher: Oxford: Oxford university computing laboratory, Programming research group,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Laws of programming: : a tutorial paper
Authors: --- --- ---
Year: 1985 Publisher: Oxford: Oxford university computing laboratory, Programming research group,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Listing 1 - 10 of 16 << page
of 2
>>
Sort by