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)
Springer, c1996
大阪公立大学 杉本図書館 図書館
548//L49//771911700577197
: alk. paper418.6799023
007||L49||116500062824
W1/004/LecC961304229
001.6||L 49||1165096005931
007.63||L471||116509805521
533.34|| ||300100611895
007.08-L49-1165100967044397
: alk. paper007.08:L-49:1165961005640
東海大学 付属図書館 12 549.92/L/116500506092
533.33||F602174
533.33/A14f1199850917
007.08LE11650001705515
549.9:F-39/HL4010004000406059
明治大学 図書館 生 418.6||11-1165||||K29615681 Includes bibliographical references and index 1 CD-ROM in pocket (12 cm) 内容説明 目次 「Nielsen BookData」 より
Springer-Verlag
volumes 1-100 index
所蔵館8館注記
内容説明・目次
関連文献: 1件中 1-1を表示