Your search returned 2 results.

Not what you expected? Check for suggestions

Results
		Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan. by McIver, Annabelle [author.] \| Morgan, Carroll [author.] \| SpringerLink (Online service). Series: Monographs in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) , University Visvesvarayya College of Engineering (1) Call number: 005.1 MCL M. Place hold Log in to add tags Add to cart (remove)
		Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. by Poernomo, Iman Hafiz [author.] \| Wirsing, Martin [author.] \| Crossley, John Newsome [author.] \| SpringerLink (Online service). Series: Monographs in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)

Refine your search