Treffer: Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung
Titel:
Verantwortlich:
Veröffentlicht:
München : Utz, Wiss., 1998
Umfang:
224 S. : Ill. ; 21 cm
Publikationstyp:
Sprache:
Deutsch
Schriftenreihe/Mehrbändiges Werk:
Informatik
Hochschulschrift:
Zugl.:München, Univ., Diss., 1998
Schlagworte:
ISBN:
3896753940