FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, ... II: 1709 (Lecture Notes in Computer Science)
by Jeannette M. Wing, Jim Woodcook, Jim Davies
ISBN 13: 9783540665885
Format: Paperback (960 pages) Publisher: Springer Published: 13 Sep 1999
Save for later
First International Workshop on Larch: Proceedings Of The First International Workshop On Larch, Dedham, Massachusetts, Usa, 13-15 July 1992 (Workshops In Computing)
by Ursula Martin, Jeannette M. Wing
ISBN 13: 9783540198048
Format: Paperback (324 pages) Publisher: Springer Published: 22 Apr 1993