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)
		Let us C# . by Kanetkar, Yashavant \| Dani, Asang. Edition: 1st rep.ed. Publication details: New Delhi : BPB Publications, 2015Availability: Items available for loan: Bangalore University Library (2) Call number: 005.133 KAN, .., University Visvesvarayya College of Engineering (1) Call number: 005.133 KAN D. Place hold Log in to add tags Add to cart (remove)

Refine your search