001 |
|
98848 |
020 |
|
|a9783540441441 (paper)
|
050 |
00
|
|aQA76.758|bI5713 2002|cI61
|
082 |
00
|
|a005.1|221
|
090 |
|
|aQA76.758|bI61 2002
|
809 |
|
|pEB|dQA76.758|eI61|y2002
|
111 |
2
|
|aInternational Conference on Algebraic Methodology and Software Technology|n(9th :|d2002 :|cSaint-Gilles-les-Bains, Reunion)
|
245 |
10
|
|aAlgebraic methodology and software technology|h[electronic resource] :|b9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings /|cHelene Kirchner, Christophe Ringeissen (eds.).
|
260 |
|
|aBerlin ;|aNew York :|bSpringer,|cc2002.
|
300 |
|
|axi, 501 p. :|bill., digital ;|c24 cm.
|
440 |
0
|
|aLecture notes in computer science,|x0302-9743 ;|v2422
|
650 |
0
|
|aAbstract data types (Computer science)|vCongresses.
|
650 |
0
|
|aSoftware engineering|vCongresses.
|
700 |
1
|
|aKirchner, H.|q(Helene)
|
700 |
1
|
|aRingeissen, Christophe,|d1967-
|
710 |
2
|
|aSpringerLink (Online service)
|
773 |
0
|
|tSpringer eBooks
|
856 |
40
|
|uhttp://dx.doi.org/10.1007/3-540-45719-4
|
950 |
|
|aComputer Science (Lecture Notes in Computer Science)
|
856 |
40
|
|uhttp://dx.doi.org/10.1007/3-540-45719-4
|