FM'99 -- Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999, Proceedings, Vol. I (Lecture Notes in Computer Science, Vol. 1708)
by Wing, Jeanette M., Jim Woodcock, Jim Davies, Eds
Price: $12.50
- Bookseller: Caliban Books ABAA-ILAB
- Seller Inventory #: 0018902
- Book condition:
- Binding: Paperback
- ISBN 10: 3540665870
- ISBN 13: 9783540665878
- Publisher: New York, NY, U.S.A. Springer-Verlag New York, Incorporated 1999.
- Date published: October 18, 1999
Book Description
New York, NY, U.S.A. Springer-Verlag New York, Incorporated 1999.. Large 8vo, softbound, 937 pp. Near Fine.
Not sure what some of these terms mean? Look it up in our glossary.