Search

Your search returned 4 results.

Results
		Mathematics of program construction : 3rd international conference proceedings, MPC, Kloster Irsee, Germany, July 17-21, 1995 by \| Moller, Bernhard \| Moller, Bernhard. Series: Lecture notes in computer science ; v.947Edition: Language: English Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: 1 Call number: 681.3.06:51Mat:3:95. Place hold Add to cart (remove)
		Formal program development (e-book) by Moller, Bernhard. Series: Lecture Notes in Computer Science (LNCS) ; v.755Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1993Online access: Click here to access online Availability: Items available for reference: Not for loan (1) . Add to cart (remove)
		Mathematics of program construction (e-book) by Moller, Bernhard. Series: Lecture Notes in Computer Science (LNCS) ; v.947Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1995Online access: Click here to access online Availability: Items available for reference: Not for loan (1) . Add to cart (remove)
		Prospects for hardware foundations (e-book) by Moller, Bernhard. Series: Lecture Notes in Computer Science (LNCS) ; v.1546Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1998Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Powered by Koha