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

Formal program development : IFIP TC2/ WG2.1 state of the art report

Heidelberg, Germany ; New York : Springer-Verlag, 1993
 
1993
紙本資料

館藏地: 資訊所圖書室, 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  Ser D2.0 F7235  LNCS 755    在架上    30330000094701
 數學所圖書室  QA75.5 .L42  v.755    在架上    30340200302218
2
book jacket

Specification and transformation of programs : a formal approach to software development
Partsch, Helmut A., 1950-
Berlin ; New York : Springer-Verlag, 1990
 
1990
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  Ser D2.1 P2753    在架上    30330000074919
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄