Library Services | Technical University of Kenya catalog › Results of search for 'au:"Fitzgerald, John."'

Your search returned 4 results.

	1.	Validated Designs for Object-oriented Systems [electronic resource] / by John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef. by Fitzgerald, John \| Larsen, Peter Gorm \| Mukherjee, Paul \| Plat, Nico \| Verhoef, Marcel \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	2.	FM 2005: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings / edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki. by Fitzgerald, John \| Hayes, Ian J \| Tarlecki, Andrzej \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	3.	Theoretical Aspects of Computing - ICTAC 2008 [electronic resource] : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / edited by John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun. by Fitzgerald, John S \| Haxthausen, Anne E \| Yenigun, Husnu \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	4.	Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene. by Derrick, John [editor.] \| Fitzgerald, John [editor.] \| Gnesi, Stefania [editor.] \| Khurshid, Sarfraz [editor.] \| Leuschel, Michael [editor.] \| Reeves, Steve [editor.] \| Riccobene, Elvinia [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue