search for books and compare prices
Fme '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Paperback
With Tim Denvir (other contributor), Maurice Naftalin |
from Springer Verlag (October 12, 1994)
9783540585558 | details & prices | 734 pages | List price $179.00