Hennicker, Rolf
4  Ergebnisse:
Personensuche X
?
1

Software-Verifikation:

, In: 50 Jahre Universitäts-Informatik in München,
Beyer, Dirk ; Hennicker, Rolf ; Hofmann, Martin.. - p. 75-86 , 2017
 
?
4

beobachtungsorientierte spezifikationen 

(dissertation 1988,ueberarbeitete fassung)  mip 8924;passau
Exemplar:  Zentrale:Magazin bc 1079-8924
 
1-4