FM'99 -- formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings. : Volume 2

By - Wing, Jeannette Marie

Floor - Floor 1

Published - Springer-Verlag Berlin Heidelberg, Berlin, 1999

ISBN 13 - 9783540665885

Book Status - 2 Qnty Available with us.

Subject - Application software Development

Shelf No - 7

Call Number - 005.1015 WIN

Physical Description - 1857 PAGE

Book Information

Open Book