Library Services | Technical University of Kenya catalog › Results of search for 'au:"Bjørner, Dines."'

Your search returned 3 results.

	1.	Software Engineering 1 [electronic resource] : Abstraction and Modelling / by Dines Bjørner. by Bjørner, Dines \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	2.	Software Engineering 2 [electronic resource] : Specification of Systems and Languages / by Dines Bjørner. by Bjørner, Dines \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	3.	Logics of Specification Languages [electronic resource] / edited by Dines Bjørner, Martin C. Henson. by Bjørner, Dines \| Henson, Martin C \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)

Library Services | Technical University of Kenya