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

von: Jeannette M. Wing · Jim Woodcook · Jim Davies Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-66587-8 ISBN-10: 3-540-66587-0 Springer · 1999