Algebraic methodology and software technology. 8th international conference, selected papers from AMAST 2000, Iowa City, Iowa, USA, May 20--27, 2000 (Q1860602)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Algebraic methodology and software technology. 8th international conference, selected papers from AMAST 2000, Iowa City, Iowa, USA, May 20--27, 2000 |
scientific article; zbMATH DE number 1873789
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic methodology and software technology. 8th international conference, selected papers from AMAST 2000, Iowa City, Iowa, USA, May 20--27, 2000 |
scientific article; zbMATH DE number 1873789 |
Statements
Algebraic methodology and software technology. 8th international conference, selected papers from AMAST 2000, Iowa City, Iowa, USA, May 20--27, 2000 (English)
0 references
25 February 2003
0 references
The articles of this volume will be reviewed individually.
0 references
Algebraic methodology
0 references
Software technology
0 references
AMAST 2000
0 references
Iowa City, IA (USA)
0 references
