Treffer: Phased design and verification of stabilizing systems

Titel:

Verantwortlich:

Siegel, Michael

Veröffentlicht:

Kiel, 1996

Umfang:

V, 169 S.

Publikationstyp:

Buch

Sprache:

Deutsch

Schriftenreihe/Mehrbändiges Werk:

Christian-Albrechts-Universität zu Kiel. Institut für Informatik und Praktische Mathematik: Bericht ; 9705
alle Bände anzeigen

Hochschulschrift:

Zugl.: Kiel, Univ., Diss., 1996

Schlagworte:

Zusatz-Informationen