Formal methods foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers /Format: [electronic resource] :
Publisher: Berlin : Springer,
Date: 2009. This title can be found in 1 Iowa libraries.
Verified software theories, tools, experiments : first IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2008. This title can be found in 1 Iowa libraries.
Verified software theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2008. This title can be found in 1 Iowa libraries.
Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures /Publisher: New York : New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Domain modeling and the duration calculus international training school, Shanghai, China, September 17-21, 2007 : advanced lectures /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Formal methods and hybrid real-time systems essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Theoretical aspects of computing ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /Publisher: New York : New York : Springer,
Date: c2007. This title can be found in 2 Iowa libraries.
Theoretical aspects of computing : ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings /Publisher: New York : New York : Springer,
Date: c2007. This title can be found in 2 Iowa libraries.
Refinement techniques in software engineering : first Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures /Publisher: New York : New York : Springer,
Date: c2006. This title can be found in 1 Iowa libraries.
Refinement techniques in software engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2006. This title can be found in 1 Iowa libraries.
Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings /Publisher: New York : New York : Springer-Verlag,
Date: c2003. This title can be found in 1 Iowa libraries.
FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings /Publisher: Berlin ; Springer,
Date: [1999] This title can be found in 1 Iowa libraries.
FME '96, industrial benefit and advances in formal methods : third International Symposium of Formal Methods Europe /Publisher: New York : New York : Springer,
Date: c1996. This title can be found in 2 Iowa libraries.
Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings /Publisher: New York : New York : Springer-Verlag,
Date: c1993. This title can be found in 1 Iowa libraries.
FME'93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings /Publisher: New York : New York : Springer-Verlag,
Date: c1993. This title can be found in 2 Iowa libraries.
Software engineering mathematics /Author: Woodcock, Jim.
Publisher: Reading, Mass. : Addison-Wesley Pub. Co.,
Date: 1989, c1988. This title can be found in 1 Iowa libraries.
Software engineering mathematics : formal methods demystified /Author: Woodcock, Jim.
Publisher: London : Pitman,
Date: 1988. This title can be found in 1 Iowa libraries.
YOU MAY BORROW ITEMS YOU FIND IN THE SILO LOCATOR THROUGH YOUR
LOCAL PUBLIC LIBRARY.
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.