Algebraic methodology and software technology
: 8th international conference ; proceedings / AMAST 2000, Iowa City, Iowa, USA, May 2000. T.Rus (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1816)
ISBN 978-3-540-45499-1
Lizenzpflichtig
Quelle: DNB
Algebraic methodology and software technology
: 8th international conference ; proceedings / AMAST 2000, Iowa City, Iowa, USA, May 20 - 27, 2000. Teodor Rus (ed.). - Berlin : Springer, 2000. - XI, 544 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1816)
ISBN 978-3-540-67530-3 / 3-540-67530-2 kart. : DM 122.00
Literaturangaben
Quelle: DNB