Koha online catalog › Results of search for 'su:"Communication Protocol"'

	1.	Automated Theorem Proving in Software Engineering by Schumann, Johann M. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 SCH] (1). Place hold
	2.	Hardware/Software Co-Design and Co-Verification by Berge, Jean-Michel \| Levia, Oz \| Rouillard, Jacques. Material type: Book; Format: print ; Literary form: Not fiction Publisher: London: Kluwer Academic Publishers, 1997Availability: Items available for loan: [Call number: 621.392 BER] (1). Place hold
	3.	Modeling and Simulation of Distributed Systems by Kostin, Alexander. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Singapore: World Scientific, 2010Availability: Items available for loan: [Call number: 004 KOS] (2). Place hold

Koha online