Union Catalogue of Belgian Libraries
Search
Feedback
About
Help
News
Advanced Search
Narrow your search
Library
KU Leuven
(1)
Resource type
book
(1)
Language
English
(1)
Year
From
To
1999
(1)
Listing
1
-
1
of
1
Sort by
Relevance
Year-Descending
Year-Ascending
Type and effect systems : behaviours for concurrency.
Authors
:
Amtoft, Torben
---
Nielson, Flemming
---
Nielson, Hanne Riis
ISBN
: 1860941540
Year
: 1999
Publisher
: London Imperial College. Department of electrical engineering
Abstract | Keywords |
Export
|
Availability
|
Bookmark
Loading...
Export citation
Choose an application
Reference Manager
EndNote
RefWorks
(Direct export to RefWorks)
Bookmark
Abstract
Keywords
Listing
1
-
1
of
1
Sort by
Relevance
Year-Descending
Year-Ascending