Suchfeld einblenden
Person Hooman, Jozef J. M.
1 Treffer
Seite < 1 >
Hooman, Jozef J. M.: Specification and compositional verification of real time systems
/ J. Hooman. - Berlin : Springer, 1991. - VIII, 235 S.; 24 cm - (Lecture notes in computer science; 558)
ISBN 978-3-540-54947-5 / 3-540-54947-1 kart. : DM 39.50
Literaturverz. S. 228 - 235
Quelle: DNB
Seite < 1 >
