Formal techniques in real-time and fault-tolerant systems : 4th International symposium : Sep 1996, Uppsala, Sweden. (Lecture Notes in Computer Science ; 1135)

Formal techniques in real-time and fault-tolerant systems : 4th International symposium : Sep 1996, Uppsala, Sweden.

(Lecture Notes in Computer Science ; 1135)

Call No. (NDL): M17-00-0374
Bibliographic ID of National Diet Library: 000003510178

Material type: 図書

Author: Uppsala University.ほか

Publisher: Springer

Publication date: 1996.

Material Format: Paper

Capacity, size, etc.: v.

NDC: -

View All

Notes on use

Note (General)：: Papers.Index term: real time systems ; fault tolerant systems ; formal techniques.BL shelfmark: 5180.185 [no] 1135 1996.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 3540616489 (pbk)
ISSN: 0302-9743
Title: Formal techniques in real-time and fault-tolerant systems : 4th International symposium : Sep 1996, Uppsala, Sweden.
Series Title: Lecture Notes in Computer Science ; 1135
Author Heading: Uppsala University.
Swedish Institute of Computer Science.
Royal Institute of Technology in Stockholm.
Publication, Distribution, etc.: Springer
Publication Date: 1996.
Publication Date (W3CDTF): 1996
Extent: v.
Alternative Title: real time systems ; fault tolerant systems ; formal techniques
NDLC: M17
M154
Note (General): Papers.
Index term: real time systems ; fault tolerant systems ; formal techniques.
BL shelfmark: 5180.185 [no] 1135 1996.
Holding library: 国立国会図書館
Call No.: M17-00-0374
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003510178
http://id.ndl.go.jp/bib/000003510178
UKMARC No.: G05162802
Bibliographic Record Category (NDL): 215