Koha online catalog › Results of search for 'su:"Logiciels "'

	1.	Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings by Godefroid, Patrick. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GOD] (1). Place hold
	2.	Software specification methods by Habrias, Henri \| Frappier, Marc. Material type: Book; Format: print ; Literary form: Not fiction Publisher: London: ISTE Ltd, 2006Availability: Items available for loan: [Call number: 004.0151 HAB] (1). Place hold
	3.	Software reuse : methods, techniques, and tools : seventh international conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 : proceedings by Gacek, Cristina. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 004 GAC] (1). Place hold
	4.	Introduction to medical software : foundations for digital health, devices, and diagnostics by Papademetris, Xenophon \| Quraishi, Ayesha N \| Licholai, Gregory P. Publisher: Cambridge : Cambridge University Press, 2022Availability: Items available for loan: [Call number: 610.285 PAP] (1). Place hold

Koha online