Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings (Lecture Notes in Computer Science (1816), Band 1816)
von
Teodor Rus
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-67530-3
ISBN-10: 3-540-67530-2
Springer
· 2008