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

von: Jeannette M. Wing · Jim Woodcook Springer Berlin Heidelberg · 1999 Taschenbuch Details (Deutschland) Details (Vereinigte Staaten) Details (Großbritannien) Details (Kanada) Details (Frankreich) Details (Italien) ISBN: 978-3-540-66588-5 ISBN-10: 3-540-66588-9