Specification of state based systems by algebra rewrite systems and refinements

Verfasser / Beitragende:
Martin Grosse-Rhode
Ort, Verlag, Jahr:
Berlin : Technische Universität, 1999
Beschreibung:
27 S.
Format:
Buch
ID: 143887424