Treffer: Inkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme
Titel:
Verantwortlich:
Veröffentlicht:
Oldenburg : Carl-v.-Ossietzky-Univ., Fachbereich Informatik, 1998
Umfang:
320 S. : graph. Darst.
Publikationstyp:
Sprache:
Deutsch
Schriftenreihe/Mehrbändiges Werk:
Carl von Ossietzky Universität Oldenburg. Fachbereich Informatik: Berichte aus dem Fachbereich Informatik ; 98,1
alle Bände anzeigen
alle Bände anzeigen
Hochschulschrift:
Zugl.: Oldenburg, Univ., Diss., 1997
Schlagworte: