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

	1.	ZB 2003: Formal specification and development in Z and B: Third inetrnational conference of B and Z users Turku, Finland, June 4-6, 2003 proceedings by Bert, Didier. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BER] (1). Place hold
	2.	Current Trends in Theoretical Computer Science : The Challenge of the New Century. Volume 2 by Paun, Gheorghe \| Rozenberg, Grzegorz. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: World Scientific, 2004Availability: Items available for loan: [Call number: 004 PAU] (1). Place hold

Koha online