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