Jump to main content

図書

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. (Lecture notes in computer science)

Icons representing 図書

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.

(Lecture notes in computer science)

Call No. (NDL)
M15-A9466
Bibliographic ID of National Diet Library
000003232833
Material type
図書
Author
Langmaack, Hans.ほか
Publisher
Springer-Verlag
Publication date
c1994.
Material Format
Paper
Capacity, size, etc.
xiv, 787 p. : ill. ; 24 cm.
NDC
-
View All

Search by Bookstore

Search by Bookstore

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
3540584684
Title
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.
Series Title
Lecture notes in computer science
Author Heading
Langmaack, Hans.
Roever, W.-P. de.
Vytopil, J. (Jan) , 1947-
Working Group Provably Correct Systems.
Publication, Distribution, etc.
Berlin : Springer-Verlag
Tokyo : Springer-Verlag
Publication Date
c1994.
Publication Date (W3CDTF)
1994
Extent
xiv, 787 p. : ill. ; 24 cm.
Place of Publication (Country Code)
DE