このページのリンク

<図書>
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 ; 863)

電子版 >> Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lubeck, Germany, September 19-23, 1994 Proceedings
出版情報 Berlin ; New York : Springer-Verlag , c1994
巻冊次 ISBN:3540584684 REFWLINK
ISBN 3540584684
本文言語 英語
大きさ xiv, 787 p. : ill. ; 24 cm
[BOOKデータASPサービス] あらすじ/目次

所蔵情報を非表示

多:B2F小図移管
007/L49/863 10602020144761
waiting...

 

 類似資料