Search

Your search returned 7 results.

Not what you expected? Check for suggestions

Results
		No cover image available Formal logical methods for system security and correctness [electronic resource] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller. by NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany) \| Grumberg, Orna \| Nipkow, Tobias, 1958- \| Pfaller, Christian \| ProQuest (Firm). Series: NATO security through science seriesDInformation and communication security ; v. 14.Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008Online access: Click to View Availability: No items available. Add to cart (remove)
		Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim von Wright. by Back, Ralph-Johan [author.] \| Wright, J. von (Joakim), 1955- [author.]. Series: Graduate texts in computer science (Springer-Verlag New York Inc.)Material type: Text; Format: available online ; Literary form: Not fiction Publisher: New York : Springer, 1998Copyright date: 1998Online access: Click to View Availability: No items available. Add to cart (remove)
		Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim von Wright. by Back, Ralph-Johan [author.] \| Wright, J. von (Joakim), 1955- [author.]. Series: Graduate texts in computer science (Springer-Verlag New York Inc.)Material type: Text; Format: available online ; Literary form: Not fiction Publisher: New York : Springer, 1998Copyright date: 1998Online access: Click to View Availability: No items available. Add to cart (remove)
		Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors. by Brazilian Conference on Mathematical Logic (11th : 1996 : Salvador, Brazil) [issuing body.] \| Carnielli, Walter A. (Walter Alexandre) [editor.] \| D'Ottaviano, Itala M. L, 1944- [editor.]. Series: Contemporary mathematics (American Mathematical Society) ; 235.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, 1999Online access: Click to View Availability: No items available. Add to cart (remove)
		Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors. by Brazilian Conference on Mathematical Logic (11th : 1996 : Salvador, Brazil) [issuing body.] \| Carnielli, Walter A. (Walter Alexandre) [editor.] \| D'Ottaviano, Itala M. L, 1944- [editor.]. Series: Contemporary mathematics (American Mathematical Society) ; 235.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, 1999Online access: Click to View Availability: No items available. Add to cart (remove)
		No cover image available Partitioning implementations for IBM e-server p5 servers [electronic resource] / [Nic Irving, Mathew Jenner, Arsi Kortesniemi]. by Irving, Nic \| Jenner, Mathew \| Kortesniemi, Arsi \| Matsubara, Keigo. Complete partitioning guide for IBM eserver pSeries servers \| International Business Machines Corporation. International Technical Support Organization \| ProQuest (Firm). Series: IBM redbooksEdition: 3rd ed.Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: [S.l.] : IBM, International Technical Support Organization, c2005Online access: Click to View Availability: No items available. Add to cart (remove)
		No cover image available Partitioning implementations for IBM e-server p5 servers [electronic resource] / [Nic Irving, Mathew Jenner, Arsi Kortesniemi]. by Irving, Nic \| Jenner, Mathew \| Kortesniemi, Arsi \| Matsubara, Keigo. Complete partitioning guide for IBM eserver pSeries servers \| International Business Machines Corporation. International Technical Support Organization \| ProQuest (Firm). Series: IBM redbooksEdition: 3rd ed.Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: [S.l.] : IBM, International Technical Support Organization, c2005Online access: Click to View Availability: No items available. Add to cart (remove)