儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
作者 (1-2 之 2)
Jhala, Ranjit
1
book jacket

Programming languages and systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings
APLAS 2012 (2012 : Kyoto, Japan)
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
2012
電子書

館藏地: 中央研究院
2
book jacket

Verification, model checking, and abstract interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings
VMCAI 2011 (2011 : Austin, Texas)
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
2011
電子書

館藏地: 中央研究院
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄