Koha online catalog › Results of search for 'su:"Mathematical Logic and Formal Languages"'

	1.	Computer science : the hardware, software and heart of it by Blum, Edward K \| Aho, Alfred V. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2011Availability: Items available for loan: [Call number: 004 BLU] (1). Place hold
	2.	Formal methods for components and objects : second international symposium, Fmco 2003 Leiden, the Netherlands, November 2003 by Boer, Ffrank S. de \| Bonsangue, Marcello M \| Graf, Susanne \| Roever, Willem-Paul de. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 BOE] (1). Place hold
	3.	Modelling distributed systems by Fokkink, Wan. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 003.78 FOK] (1). Place hold

Koha online