Blank Cover Image
所蔵情報QRコード

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

資料種別:
図書
出版情報:
Berlin : Springer, c1996
形態:
viii, 509 p. ; 24 cm. + 1 CD-ROM
シリーズ名:
Lecture notes in computer science ; 1165 <BA00009279>
著者名:
ISBN:
9783540619291 [3540619291]
書誌ID:
BA28890644
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control

Abrial, Jean-Raymond., Börger, Egon., Langmaack, Hans., SpringerLink (Online service)

Springer Berlin Heidelberg
7 図書 Computability, complexity, logic

Börger, Egon, 1946-

North-Holland, Distributors for U.S.A. and Canada, Elsevier Science Publishing Company, Inc.
2 電子ブック Formal Methods for Industrial Applications

Abrial, Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
8 図書 Heat transfer in steam boiler furnaces (: Hemisphere ; : Springer)

Blokh, A. G. (Arkadiĭ Grigorʹevich), Viskanta, Raymond

Hemisphere Pub. Corp., Distribution outside North America, Springer-Verlag
3 電子ブック Rigorous Methods for Software Construction and Analysis

Abrial, Jean-Raymond, Glässer, Uwe, Kanade, Takeo

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
9 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems

Langmaack

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Abstract state machines : a method for high-level system design and analysis (: electronic bk)

Börger, Egon, 1946-, Stärk, Robert F., 1963-

Springer
10 図書 Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October, 7-11, 1991 : proceedings (: gw ; : us)

Workshop on Computer Science Logic, Börger, Egon, 1946-

Springer-Verlag
5 電子ブック Rigorous Methods for Software Construction and Analysis

Abrial, Jean-Raymond, Gl?sser, Uwe, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg
11 図書 Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers (: gw ; : us)

Workshop on Computer Science Logic, Börger, Egon, 1946-

Springer-Verlag
6 図書 Trends in theoretical computer science

Börger, Egon, 1946-

Computer Science Press
12 電子ブック VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

Bjørner, Dines., Hoare, C.A.R., Langmaack, Hans., SpringerLink (Online service)

Springer Berlin Heidelberg
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12