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

	1.	Abstraction refinement for large scale model checking. by Wang, Chao \| Hachtel, Gary D \| Somenzi, Fabio. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 004.21 WAN] (1). Place hold
	2.	Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002 Madrid, Spain, September 17-20, 2002 revised selected papers by Leuschel, Michael. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LEU] (1). Place hold
	3.	Abstraction, Refinement and Proof for Probabilistic Systems by McIver, Annabelle \| Morgan, Carroll. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.1 MCL] (1). Place hold
	4.	Cloud computing explained by Rhoton, John. Edition: 2nd ed.Material type: Book; Format: print ; Literary form: Not fiction Publisher: London: Recursive Press, 2011Availability: Items available for loan: [Call number: 004.36 RHO] (1). Place hold
	5.	UML for Java programmers by Martin, Robert Ceci. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Prentice Hall, 2003Availability: Items available for loan: [Call number: 005.117 MAR] (1). Place hold

Koha online