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

Communicating embedded systems software and design : formal methods

London : ISTE ; Hoboken, N.J. : Wiley, 2010
2010
電腦檔

館藏地: 資訊服務處圖書館
2
book jacket

Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings
FORMATS 2007 (6th : 2008 : Saint Malo, France)
Berlin : Springer, 2008
 
2008
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F3.0 F7235:2 2008  LNCS 5215    館內使用    30330000211255
3
book jacket

Formal modeling and analysis of timed systems 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings
Formal modeling and analysis of timed systems (Conference) (6th : 2008 Sep : Saint Malo, France)
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
2008
電子書

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