Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... Notes in Computer Science (186), Band 186)

von: Hartmut Ehrig · James Thatcher · Maurice Nivat · Christiane Floyd Taschenbuch Details (Deutschland) ISBN: 978-3-540-15199-9 ISBN-10: 3-540-15199-0 Springer · 2008