このページのリンク

Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial, Egon Börger, Hans Langmaack (eds.)
(Lecture notes in computer science ; 1165)

データ種別 図書
出版者 Berlin : Springer
出版年 c1996
本文言語 英語
大きさ viii, 509 p. ; 24 cm + 1 computer laser optical disk (4 3/4 in.)

所蔵情報を非表示

書庫2階 TJ:288:F59:1996
3540619291 002261414

書誌詳細を非表示

一般注記 Includes bibliographical references and index
with CD-ROM
著者標目 Abrial, Jean-Raymond
Börger, Egon, 1946-
Langmaack, Hans
件 名 LCSH:Steam-boilers -- Automatic control -- Data processing  全ての件名で検索
分 類 LCC:TJ288
DC20:621.1/83
巻冊次 ISBN:3540619291 REFWLINK
ISBN 3540619291
NCID BA28890644 WCLINK
目次/あらすじ

 類似資料