Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988

>> Amazon.co.jp

このページのQRコード

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988

種類:

図書

責任表示:

M. Joseph (ed.)

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1988

著者名:

シリーズ名:

Lecture notes in computer science ; 331 <BA00009279>

ISBN:

9783540503026 [3540503021] (: gw)

9780387503028 [0387503021] (: us)

注記:

Papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Fault-tolerant computing--Congresses; Real-time data processing--Congresses
分類・件名:	NDC7 : 549.92 LCSH : Real-time data processing -- Congresses LCSH : Fault-tolerant computing -- Congresses
LCCN:	88029465
TTLL:	eng
言語:	英語
形態:	vi, 229 p. : ill. ; 25 cm
書誌ID:	BA04431642

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 電子ブック 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
2 図書 Formal techniques in real-time and fault-tolerant systems : 4th International Symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Jonsson, Bengt, 1957-, Parrow, Joachim, 1956- Springer	8 電子ブック 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
3 図書 Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Vytopil, J., 1947- Springer-Verlag	9 電子ブック 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
4 電子ブック 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	10 図書 Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings International AMAST Workshop, Katoen, Joost-Pieter Springer
5 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems : Proceedings of a Symposium Warwick, UK, September 22–23, 1988 Joseph, M., SpringerLink (Online service) Springer-Verlag	11 図書 Digest of papers : the Twenty-Third International Symposium on Fault-Tolerant Computing : FTCS 23, June 22-24, 1993, Toulouse, France International Symposium on Fault-Tolerant Computing Systems, IEEE Computer Society. Technical Committee on … IEEE Computer Society Press
6 電子ブック 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	12 図書 Fault-tolerant computing systems : tests, diagnosis, fault treatment : 5th International GI/ITG/GMA Conference, Nürnberg, September 25-27, 1991 : proceedings Dal Cin, Mario, 1940-, Hohl, W. New York : Springer-Verlag