Koha online catalog › Results of search for 'au:"Katoen, Joost-Pieter"'

	1.	Model-based testing of reactive systems by Jonsson, Bengt \| Broy, Manfred \| Katoen, Joost-Pieter \| Leucker, Martin. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 BRO] (1). Place hold
	2.	Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science by Brinksma, Ed \| Hermanns, Holger \| Katoen, Joost-Pieter. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 BRI] (1). Place hold
	3.	Principles of model checking by Baier, Christel \| Katoen, Joost-Pieter. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2008Availability: Items available for loan: [Call number: 004.24 BAI] (1). Place hold

Koha online