Specification and compositional verification of real-time systems
- 種類:
- 図書
- 責任表示:
- J. Hooman
- 出版情報:
- Berlin ; Tokyo : Springer, c1991
- 著者名:
- Hooman, Jozef, 1955- <DA05985318>
- シリーズ名:
- Lecture notes in computer science ; 558 <BA00009279>
- ISBN:
- 9783540549475 [3540549471] (: Berlin)
9780387549477 [0387549471] (: New York) - 注記:
- Rev. version of the author's thesis (Ph. D.)--Eindhoven University of Technology
Bibliographical references: p. [229]-235 
類似資料:
|
Springer-Verlag |
Springer-Verlag |
|
Springer Berlin Heidelberg : Imprint: Springer |
Kluwer Academic |
|
Kluwer Academic Publishers |
Springer-Verlag |
|
Springer-Verlag |
Elsevier |
|
Wiley-Interscience | |
|
A K Peters |
Springer-Verlag |
