FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: 2005. This title can be found in 1 Iowa libraries.
FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings /Publisher: New York : New York : Springer,
Date: c2005. This title can be found in 2 Iowa libraries.
Modelling systems : practical tools and techniques in software development /Author: Fitzgerald, John,
Publisher: New York : New York : Cambridge University Press,
Date: 1998. This title can be found in 2 Iowa libraries.
FME '97 : industrial applications and strengthened foundations of formal methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings /Publisher: New York : New York : Springer,
Date: c1997. This title can be found in 1 Iowa libraries.
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.