Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers (Lecture Notes in Computer Science, Band 5713)

Butterfield

von Andrew Butterfield

Taschenbuch

ISBN: 978-3-642-14520-9

ISBN-10: 3-642-14520-5

Springer · 2010