Blank Cover Image

Formal Methods for Industrial Applications / Abrial, Jean-Raymond Abrial, Egon Börger, Hans Langmaack

資料種別:
電子ブック
出版情報:
SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 1996
著者名:
ISBN:
9783540619291 [3540619291]
9783540495666 [3540495665]
書誌ID:
OB00577057
子書誌情報
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, 1946-, Langmaack, Hans

Springer
7 電子ブック 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
2 電子ブック 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
8 図書 Trends in theoretical computer science

Börger, Egon, 1946-

Computer Science Press
3 電子ブック Rigorous Methods for Software Construction and Analysis

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

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
9 図書 Computability, complexity, logic

Börger, Egon, 1946-

North-Holland, Distributors for U.S.A. and Canada, Elsevier Science Publishing Company, Inc.
4 電子ブック Rigorous Methods for Software Construction and Analysis

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

Springer eBooks Computer Science, Springer Berlin Heidelberg
10 電子ブック Structures of Computing: A Guide to Practice-Oriented Theory

Egon Börger, Gervasi, Vincenzo

SpringerLink Books - AutoHoldings, Springer Nature (Textbooks & Major Reference Works)
5 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems

Langmaack

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
11 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - …

Langmaack, Hans., Roever, Willem-Paul de., Vytopil, Jan., SpringerLink (Online service)

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

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

Springer
12 電子ブック Optical Metrology and Inspection for Industrial Applications IV

Han

SPIE Digital Library Proceedings, SPIE
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12