Suchergebnis

zu den Filteroptionen

Suche nach: Schlagwort = Programmverifikation und Sammlung = UB Paderborn

Specification and compositional verification of real time systems
Hooman, Jozef J. M.
Berlin [u.a.] : Springer, 1991