Narrow your search

Library

UCLouvain (28)


Resource type

book (28)


Language

English (28)


Year
From To Submit

1991 (1)

1988 (3)

1987 (1)

1986 (3)

1985 (9)

More...
Listing 1 - 10 of 28 << page
of 3
>>
Sort by

Book
Specification case studies
Authors: ---
Year: 1985 Publisher: Oxford: Oxford university computing laboratory, Programming research group,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
The design and implementation of programming languages
Authors: ---
Year: 1983 Publisher: Oxford: Oxford university computing laboratory, Programming research group,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Making nets abstract and structured ; Nets and their relation to CSP
Authors: ---
Year: 1984 Publisher: Oxford: Oxford university computing laboratory, Programming research group,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Abstract machine support for purely functional operating systems : project report
Authors: ---
Year: 1983 Publisher: Oxford: Oxford university computing laboratory, Programming research group,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
A calculus of functions for program derivation
Authors: ---
Year: 1987 Publisher: Oxford: Oxford university computing laboratory, Programming research group,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
µFP - an algebraic VLSI design language
Authors: ---
Year: 1983 Publisher: Oxford: Oxford university computing laboratory, Programming research group,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
The specification of abstract mappings and their implementation as B+-trees
Authors: ---
Year: 1980 Publisher: Oxford: Oxford university computing laboratory, Programming research group,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
A range of operating systems written in a purely functional style
Authors: ---
Year: 1984 Publisher: Oxford: Oxford university computing laboratory, Programming research group,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
An introduction to CSP
Authors: ---
Year: 1988 Publisher: Oxford: Oxford university computing laboratory, Programming research group,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Specifying the CICS application programmer's interface
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 28 << page
of 3
>>
Sort by


Copyright ©2025 SemperTool