Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'au:"Abadi, Martín." and se:Lecture Notes in Computer Science, and su-to:Mathematical Logic and Formal Languages and su-to:Computer Science'

	1.	Theoretical Aspects of Computer Software [electronic resource] :Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings / by Abadi, Martín [editor.] \| Ito, Takayasu [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	2.	Trustworthy Global Computing [electronic resource] :8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers / by Abadi, Martín [editor.] \| Lluch Lafuente, Alberto [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)