Your search returned 2 results.

Results
	1.	Mathematics of Program Construction [electronic resource] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings / by Gibbons, Jeremy [editor.] Nogueira, Pablo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7342 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Foundations of Health Information Engineering and Systems [electronic resource] : Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers / by Gibbons, Jeremy [editor.] MacCaull, Wendy [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8315 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search