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

	21.	Synchronous Equivalence by Hsieh, Harry \| Balarin, Felice \| Sangiovanni-Vincentelli, Alberto. Material type: Book; Format: print ; Literary form: Not fiction Publisher: London: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 004.16 HSI] (1). Place hold
	22.	Formal and natural computing : essays dedicated to Grzegorz Rozenberg by Brauer, Wilfri. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 004 BRA] (1). Place hold
	23.	Formal techniques for networked and distributed systems - FORTE 2002 by Peled, Doron A \| Vardi, Moshe Y. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 PEL] (1). Place hold

Koha online