Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April ... Notes in Computer Science (215), Band 215)

von: Wolfgang Bibel · Klaus P. Jantke Taschenbuch Details (Deutschland) Details (Spanien - España) (siehe auch: Tapa blanda) ISBN: 978-3-540-16444-9 ISBN-10: 3-540-16444-8 Springer · 2008