Relational methods in computer science : 6th international conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001 : revised papers
Harrie C.M. de Swart (ed.)
Bok Engelsk 2002 International Seminar on Relational Methods in Computer Science
Utgitt | Berlin : Springer , c2002
|
---|---|
Omfang | X, 313 s. : ill.
|
Emner | |
ISBN | 3540003150
|