PKK Library catalog › Results of search for 'au:"Bjørner, Dines"'

	1.	Formal specification and software development by Bjørner, Dines \| B, Cliff. Material type: Book; Format: print ; Literary form: not fiction Description: x,501p.Publisher: London Prentice-Hall International 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B557f] (1). Place hold Add to cart (remove)
	2.	Logics of Specification Languages : [electronic resource] / by Bjørner, Dines [editor.] \| Henson, Martin C [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXII, 624 p. 69 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)

PKK Library