Treffer 1 - 7 von 7 für Suche 'Maibaum, Thomas S.', Suchdauer: 0,12s
Treffer weiter einschränken
-
1
Conceptual modelling of data base operations von Santos, C. S., Maibaum, Thomas S., Furtado, Antonio L.
Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2
An informal approach to formal specifications von Furtado, Antonio L., Maibaum, Thomas S.
Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3
Conceptual modelling of data base operations von Santos, C. S., Maibaum, Thomas S., Furtado, Antonio L.
Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4
The specification of computer programs von Turski, Władysław M. 1938-, Maibaum, Thomas S.
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5
The specification of computer programs von Turski, Władysław M. 1938-, Maibaum, Thomas S.
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6
Specifying abstract data types via series of rewriting systems von Veloso, Paulo A., Maibaum, Thomas S.
Veröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7
A theory of abstract data types for program development bridging the gap? von Veloso, Paulo A., Maibaum, Thomas S.
Veröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …