search for books and compare prices
Fme 2003: Formal Methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : Proceedings
By Dino Mandrioli; Keijiro Araki; International Symposium of Formal Methods Europe 2003; Stefania Gnesi
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.
Sort options: binding | publication date | edition
Paperback
Book cover for 9783540408284
 
from Springer-Verlag New York Inc (October 1, 2003)
9783540408284 | details & prices | 942 pages | 6.25 × 9.25 × 1.25 in. | 1.20 lbs | List price $179.00