Search

Your search returned 4 results.

Results
		Formal verification of object-oriented software : international conference, FoVeOOS, Paris, France, June 28-30, 2010 (e-book) by Beckert, Bernhard [Editor] \| Marché, Claude [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6528 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Automated reasoning with analytic tableaux and related methods (e-book) by Beckert, Bernhard [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.3702Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2005Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Verification of object-oriented software. The key approach (e-book) by Beckert, Bernhard [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.4334Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2007Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Tests and proofs (e-book) by Beckert, Bernhard [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.4966Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2008Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Powered by Koha