FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, ... Notes in Computer Science (1709), Band 1709)

von: Jeannette M. Wing · Jim Woodcook · Jim Davies Taschenbuch Details (Deutschland) ISBN: 978-3-540-66588-5 ISBN-10: 3-540-66588-9 Springer · 1999