FM '99 : formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings, volume I
By - Wing, Jeannette Marie;
Floor
-
Floor 1
Published
-
Springer-Verlag Berlin Heidelberg, Berlin, 1999
ISBN 10 - 978994474714
Book Status
-
1 Qnty Available with us.
Subject
-
Application software Development
Shelf No
-
7
Call Number
-
005.1015 WIN
Physical Description
-
1 online resource