Hennicker, Rolf
9  Ergebnisse:
Personensuche X
?
1

Behavioural specification and implemantation of modular sof.. 

MIP / Fakultät für Mathematik und Informatik, Universität Passau ; 9203
Exemplar:  Zentrale:Magazin bc 1079-9203
 
?
2

A semi-algorithm for algebraic implementation proofs 

MIP / Technische Berichte der Fakultät für Mathematik und Informatik, Universität Passau ; 9108
Exemplar:  Zentrale:Magazin bc 1079-9108
 
?
3

Consistent configuration of modular algebraic implementatio.. 

MIP / Technische Berichte der Fakultät für Mathematik und Informatik, Universität Passau ; 9102
Exemplar:  Zentrale:Magazin bc 1079-9102
 
?
4

Context induction 

a proof principle for behavioural abstractions and algebrai...  MIP ; 9001
Exemplar:  Zentrale:Magazin bc 1079-9001
 
?
5

beobachtungsorientierte spezifikationen 

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

Ovservational implementation of algebraic specifications 

Universität (Passau), Fakultät für Mathematik und Informatik. MIP-8932
Exemplar:  Zentrale:Magazin bc 1079-8932
 
?
7

menu 

an example for the systematic reuse of specifications  mip 8930;passau
Exemplar:  Zentrale:Magazin bc 1079-8930
 
?
8

Reusable specification components 

MIP / Universität Passau Fakultät für Mathematik und Informatik ; 8817
Exemplar:  Zentrale:Magazin bc 1079-8817
 
?
9

Observational specification 

a Birkhoff theorem  Technische Berichte der Fakultät für Mathematik und Informatik, Universität Passau
Exemplar:  Zentrale:Magazin bc 1079-8508
 
1-9