Your search returned 4 results.

Not what you expected? Check for suggestions
Sort
Results
Reverse Engineering of Object Oriented Code [electronic resource] / by Paolo Tonella, Alessandra Potrich.

by Tonella, Paolo [author.] | Potrich, Alessandra [author.] | SpringerLink (Online service).

Series: Monographs in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; 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) .

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 Text; Format: electronic available online remote; 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.

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 Text; Format: electronic available online remote; 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) .

Software Configuration Management Using Vesta [electronic resource] / by Allan Heydon, Timothy Mann, Roy Levin, Yuan Yu.

by Heydon, Allan [author.] | Mann, Timothy [author.] | Levin, Roy [author.] | Yu, Yuan [author.] | SpringerLink (Online service).

Series: Monographs in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) .

Pages

Powered by Koha