Koha online catalog › Results of search for 'se,phr:"Adances in formal methods "'

	1.	Computer-aided reasoning : an approach by Kaufmann, Matt \| Manolios, Panagiotis \| Moore, J Strother. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Boston: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 004.0151 KAU] (1). Place hold
	2.	Computer-aided reasoning : ACL2 case studies by Kaufmann, Matt \| Manolios, Panagiotis \| Moore, J Strother. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Boston: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 006.33 KAU] (1). Place hold
	3.	Object-Z Specification Language by Smith, Graeme. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Boston: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 005.117 SMI] (1). Place hold

Koha online