Formalization of the SPECTRUM methodology in DEVA

signature and logical calculus

Verfasser / Beitragende:
Thomas Santen
Ort, Verlag, Jahr:
Berlin : TU, 1993
Beschreibung:
52 Blatt
Format:
Buch
ID: 549214372