>> Amazon.co.jp
このページのQRコード

Formal Techniques in Real-Time and Fault-Tolerant Systems : Proceedings of a Symposium Warwick, UK, September 22–23, 1988

種類:
電子ブック
責任表示:
edited by M. Joseph
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1988
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 331
ISBN:
9783540459651 [3540459650]  CiNii Books  Calil
ローカル注記:
岐阜大学構成員専用E-BOOKS (Gifu University members only)
オンライン
http://dx.doi.org/10.1007/3-540-50302-1
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems : Proceedings of a Symposium, Warwick, UK, September 22-23, 1988

Joseph, Mathai., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems : Second International Symposium Nijmegen, The Netherlands, January 8–10, 1992 Proceedings

Vytopil, Jan, SpringerLink (Online service)

Springer-Verlag
2 電子ブック 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, Vytopil, Jan, SpringerLink (Online service)

Springer-Verlag
8 電子ブック Fault-Tolerant Distributed Computing

Simons, Barbara, Spector, Alfred, SpringerLink (Online service)

Springer-Verlag
3 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings

Jonsson, Bengt, Parrow, Joachim, SpringerLink (Online service)

Springer-Verlag
9 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems : Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings

Vytopil, Jan., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
4 図書 Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988

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

Springer-Verlag
10 電子ブック Real-Time: Theory in Practice : REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Bakker, J. W., Huizing, C., Roever, W. P., Rozenberg, G., SpringerLink (Online service)

Springer-Verlag
5 電子ブック 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 : Imprint: Springer
11 電子ブック Ada in Europe : First International Eurospace-Ada-Europe Symposium Copenhagen, Denmark, September 26–30, 1994 Proceedings

Toussaint, Marcel, SpringerLink (Online service)

Springer-Verlag
6 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings

Jonsson, Bengt., Parrow, Joachim., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
12 電子ブック Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France June 12–14, 1989 Proceedings

Sifakis, Joseph, SpringerLink (Online service)

Springer-Verlag