PKK Library catalog › Results of search for 'su:{B method Computer science}'

	1.	Java software development with event B : : a practical guide / by Cataño Collazos, Nestor 1975- [author.]. Material type: Book; Format: available online ; Literary form: not fiction Description: 1 PDF (x, 89 pages) : illustrations (some color).Publisher: [San Rafael, California] : Morgan & Claypool, [2020]Online access: Abstract with links to resource \| Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	2.	Java software development with event B : : a practical guide / by Cataño Collazos, Nestor 1975- [author.]. Material type: Book; Format: available online ; Literary form: not fiction Description: 1 PDF (x, 89 pages) : illustrations (some color).Publisher: [San Rafael, California] : Morgan & Claypool, [2020]Online access: Abstract with links to resource \| Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)

PKK Library