Software system reliability and security /Publisher: Washington, DC : Washington, DC : IOS Press,
Date: c2007. This title can be found in 1 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.
Developments in concurrency and communication /Publisher: Reading, Mass. : Addison-Wesley Pub. Co.,
Date: c1990. This title can be found in 2 Iowa libraries.
VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings /Publisher: New York : New York : Springer-Verlag,
Date: c1990. This title can be found in 2 Iowa libraries.
Communicating sequential processes /Author: Hoare, C. A. R.
Publisher: New York : Prentice Hall,
Date: c1985. This title can be found in 7 Iowa libraries.
Structured programming,Author: Dahl, Ole-Johan,
Publisher: New York, New York, Academic Press,
Date: 1972. This title can be found in 10 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.