A new concept of refinement used for behaviour modelling with automata:
Gespeichert in:
Bibliographische Detailangaben
Beteiligte Personen: Paech, Barbara (VerfasserIn), Rumpe, Bernhard 1967- (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: München 1994
Schriftenreihe:Technische Universität <München>: TUM-I 9413
Umfang:18 S. graph. Darst.
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik, Berichte

Bestandsangaben von Teilbibliothek Mathematik &amp; Informatik, Berichte
Signatur: 0111 2001 B 6080-1994,13
Lageplan
Exemplar 1 Ausleihbar Am Standort