>> Google Books
所蔵情報QRコード

Formal techniques in real-time and fault-tolerant systems : Third International Symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings / H. Langmaack, W.-P. de Roever, J. Vytopil, (eds.)

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, c1994
形態:
xiv, 787 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 863 <BA00009279>
著者名:
ISBN:
9783540584681 [3540584684]
書誌ID:
BA2347089X
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings (: gw ; : us)

Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Vytopil, J., 1947-

Springer-Verlag
7 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems

Langmaack

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 図書 Formal techniques in real-time and fault-tolerant systems : 5th International Symposium, FTRTFT'98 Lyngby, Denmark, September 14-18, 1998 : proceedings

Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Ravn, Anders P., Rischel, Hans

Springer
8 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems

Vytopil, Vytopil, Jan

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 図書 Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September …

Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Damm, Werner, 1950-, Olderog, E.-R.

Springer
9 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems

FTRTFT '98, Ravn, Anders P., Rischel, Hans

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 図書 Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 (: gw ; : us)

Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Joseph, Mathai, 1943-

Springer-Verlag
10 図書 Safety of computer control systems 1986 (Safecomp '86) : trends in safe real time computer systems : proceedings of the Fifth IFAC Workshop, Sarlat, France, …

Safecomp, Quirk, William J., International Federation of Automatic Control

Published for the International Federation of Automatic Control by Pergamon Press
5 図書 Formal techniques in real-time and fault-tolerant systems : 4th International Symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings (: gw)

Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Jonsson, Bengt, 1957-, Parrow, Joachim, 1956-

Springer
11 図書 Pacific Rim International Symposium on Fault Tolerant Systems : September 26-27, 1991, Kawasaki, Japan : proceedings (: paper ; : micro. ; : case)

Pacific Rim International Symposium on Fault Tolerant Systems, Denshi Jōhō Tsūshin Gakkai (Japan). Technical Group on …

IEEE Computer Society Press
6 図書 Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings

Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Joseph, Mathai, 1943-

Springer
12 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems

FTRTFT 2000, Joseph, M.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12