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.
Communicating sequential processes : the first 25 years, symposium on the occasion of 25 years of CSP, London, UK, July 7-8, 2004 : revised invited papers /Publisher: Berlin : Springer,
Date: c2005. This title can be found in 2 Iowa libraries.
Communicating sequential processes the first 25 years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004 : revised invited papers /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2005. This title can be found in 1 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.
Mural : a formal development support system /Publisher: New York : New York : Springer-Verlag,
Date: 1991. This title can be found in 1 Iowa libraries.
Systematic software development using VDM /Author: Jones, C. B.
Publisher: New York : Prentice Hall,
Date: 1990. This title can be found in 1 Iowa libraries.
Case studies in systematic software development /Publisher: Englewood Cliffs, N.J. : Prentice Hall International,
Date: 1990. This title can be found in 1 Iowa libraries.
Systematic software development using VDM /Author: Jones, C. B.
Publisher: Englewood Cliffs, N.J. : Prentice Hall International,
Date: c1986. This title can be found in 1 Iowa libraries.
Programming languages and their definition /Author: Bekic, H.
Publisher: New York : New York : Springer-Verlag,
Date: 1984. This title can be found in 3 Iowa libraries.
Formal specification and software development /Author: Bjørner, D.
Publisher: Englewood Cliffs, N.J. : Prentice/Hall International,
Date: c1982. 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.