儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
書名 (1-2 之 2)
Lecture notes in computer science ; 531
1
book jacket

Computer-aided verification : proceedings
International Conference on Computer-Aided Verification (2nd : 1990 : New Brunswick, NJ)
Berlin ; New York : Springer-Verlag, c1991
 
c1991
紙本資料

館藏地: 資訊所圖書室, 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro G4 C7383 1990  LNCS 531    館內使用    30330000081567
 數學所圖書室  QA75.5 .L42  v.531    在架上    30340200299141
2
book jacket

Computer-aided verification proceedings
CAV (Conference) (1990 : Center for Discrete Mathematicsand Theoretical Computer Science)
Berlin ; New York : Springer-Verlag, 1991
1991
電腦檔

館藏地: 資訊所圖書室
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄