Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings / J. Vytopil, ed. (Lecture notes in computer science)

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings / J. Vytopil, ed.

(Lecture notes in computer science)

Call No. (NDL): M15-A8056
Bibliographic ID of National Diet Library: 000003203236

Material type: 図書

Author: Vytopil, J. (Jan) , 1947-ほか

Publisher: Springer-Verlag

Publication date: c1991.

Material Format: Paper

Capacity, size, etc.: ix, 620 p. : ill. ; 25 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Nijmegen, the Netherlands.Includes bi...

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: 3540550925
0387550925
Title: Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings / J. Vytopil, ed.
Series Title: Lecture notes in computer science
Author Heading: Vytopil, J. (Jan) , 1947-
Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (1992 : Nijmegen, Netherlands)
Publication, Distribution, etc.: Berlin : Springer-Verlag
Tokyo : Springer-Verlag
Publication Date: c1991.
Publication Date (W3CDTF): 1991
Extent: ix, 620 p. : ill. ; 25 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Real-time data processing -- Congresses.
Fault-tolerant computing -- Congresses.
LCC: QA76.54
DDC: 004/.33
NDLC: M15
M154
Note (General): Papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Nijmegen, the Netherlands.
Includes bibliographies.
Holding library: 国立国会図書館
Call No.: M15-A8056
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003203236
http://id.ndl.go.jp/bib/000003203236
LC Control Number: 91043620
https://lccn.loc.gov/91043620
Bibliographic Record Category (NDL): 211