Treffer: Inkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme

Titel:

Verantwortlich:

Kleuker, Stephan

Veröffentlicht:

Oldenburg : Carl-v.-Ossietzky-Univ., Fachbereich Informatik, 1998

Umfang:

320 S. : graph. Darst.

Publikationstyp:

Buch

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

Hochschulschrift:

Zugl.: Oldenburg, Univ., Diss., 1997

Schlagworte:

Zusatz-Informationen