No label defined (Q4229232)
From MaRDI portal
scientific article; zbMATH DE number 1258883
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1258883 |
Statements
8 March 1999
0 references
Program development
0 references
Refinement
0 references
program development
0 references
refinement
0 references
minimum spanning tree
0 references
production cell
0 references
distributed load balancing
0 references
distributed electronic mail system
0 references
B method
0 references
abstract machines
0 references
