Koha online catalog › Results of search for 'au:"Holzmann, Gerard J."'

	1.	Early history of data networks by Holzmann, Gerard J \| Pehrson, Bjorn. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Hoboken: John Wiley & Sons, 2003Availability: Items available for loan: [Call number: 384.109 HOL] (1). Place hold
	2.	SPIN model checker : primer and reference manual by Holzmann, Gerard J. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Boston: Addison-Wesley, 2003Availability: Items available for loan: [Call number: 620.0011 HOL] (1). Place hold

Koha online