English Version
館藏查詢
他校館藏
  
館藏記錄   ‧   詳細格式   ‧   引用格式   ‧   機讀格式                加入標記   ‧   列印本頁                    
   系統號碼184811
   書刊名Formal methods for industrial applications : specifying and programming the steam boiler control /
   主要著者Jean-Raymond Abrial, Egon B orger, Hans Langmaack, eds.
   其他著者Abrial, Jean-Raymond.;B orger, E. 1946-;Langmaack, Hans.
   出版項New York : Springer, c1996.
   索書號TJ288.F59 1996
   ISBN3540619291
   標題Steam-boilers-Automatic control-Data processing.
   叢書名Lecture notes in computer science,11650302-9743 ;;Lecture notes in computer science,11650302-9743 ;
   
    
   分享▼ 
網站搜尋           

　資料類型狀態應還日期預約人數館藏地索書號條碼號
找書圖書在架上0總館
密集書區 Shelf		TJ288 .F59 1996W039974
附件在架上0總館
出納櫃台		TJ288 .F59 1996XW00155

內容簡介請利用網站搜尋，連結內容簡介

讀者書評
尚無書評，
  
Copyright © 2007 元智大學(Yuan Ze University) ‧ 桃園縣中壢市 320 遠東路135號 ‧ (03)4638800