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

Your search returned 4 results.

	1.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings / edited by Holger Hermanns, Jens Palsberg. by Hermanns, Holger \| Palsberg, Jens \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	2.	Model Checking Software [electronic resource] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / edited by Klaus Havelund, Rupak Majumdar, Jens Palsberg. by Havelund, Klaus \| Majumdar, Rupak \| Palsberg, Jens \| 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)
	3.	Static Analysis [electronic resource] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings / edited by Jens Palsberg, Zhendong Su. by Palsberg, Jens \| Su, Zhendong \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	4.	Semantics and Algebraic Specification [electronic resource] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday / edited by Jens Palsberg. by Palsberg, Jens \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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