Strathmore

Your search returned 23 results.

Not what you expected? Check for suggestions

Results
		No cover image available Software and systems safety [electronic resource] : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare. by Broy, Manfred Leuxner, Christian Hoare, A. G ebrary, Inc NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification (2010 : Marktoberdorf, Germany) Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 30. Publication details: Amsterdam, The Netherlands : IOS Press, 2011 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: Items available for reference: Strathmore University (Main Library): Not for loan (1). Found in Open Library: Place recall Request article Log in to add tags Add to cart (remove)
		No cover image available Software agents, agent systems and their applications [electronic resource] / edited by Mohammad Essaaidi, Maria Ganzha and Marcin Paprzycki. by Essaaidi, Mohamed Ganzha, M. (Maria) Paprzycki, Marcin ebrary, Inc Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 32. Publication details: Amsterdam ; Washington, D.C. : IOS Press, c2012 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: Items available for reference: Strathmore University (Main Library): Not for loan (1). Found in Open Library: Place recall Request article Log in to add tags Add to cart (remove)
		No cover image available Software safety and security [electronic resource] : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann. by NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany) Nipkow, Tobias, 1958- Grumberg, Orna Hauptmann, Benedikt NATO Emerging Security Challenges Division ebrary, Inc Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 33. Publication details: Washington, D.C. : IOS Press, 2012 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: Items available for reference: Strathmore University (Main Library): Not for loan (1). Found in Open Library: Place recall Request article Log in to add tags Add to cart (remove)

© Strathmore University Library
Madaraka Estate, Ole Sangale Road | P. O. Box 59857 - 00200 City Square, Nairobi, Kenya
(+254) (0)703 034 000/200/300 | (+254) (0)20-607498