gefundene Verfasser Santen, Thomas

Santen, Thomas
Heisel, Maritta
Liptan, Thomas W.
Santen, J. David
Seifert, Dirk
Alle anzeigen »
Taiwé, Kolyang Dina 1965-
Wolff, Burkhart
Zimmermann, Dominik

Treffer 1 - 9 von 9 für Suche 'Santen, Thomas', Suchdauer: 1,18s Treffer weiter einschränken
  1. 1
    A generic system architecture for strategy-based software development

    A generic system architecture for strategy-based software development von Heisel, Maritta, Santen, Thomas, Zimmermann, Dominik

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Formal program development by goal splitting and backward loop formation

    Formal program development by goal splitting and backward loop formation von Heisel, Maritta, Santen, Thomas

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Security engineering requirements analysis, specification, and implementation

    Security engineering requirements analysis, specification, and implementation von Santen, Thomas

    Veröffentlicht 2007
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Formalization of the SPECTRUM methodology in DEVA signature and logical calculus

    Formalization of the SPECTRUM methodology in DEVA signature and logical calculus von Santen, Thomas

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Executing UML state machines

    Executing UML state machines von Santen, Thomas, Seifert, Dirk

    Veröffentlicht 2006
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A mechanized logical model of Z and object oriented specification

    A mechanized logical model of Z and object oriented specification von Santen, Thomas

    Veröffentlicht 2000
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Towards a structure preserving encoding of Z in HOL

    Towards a structure preserving encoding of Z in HOL von Taiwé, Kolyang Dina 1965-, Santen, Thomas, Wolff, Burkhart

    Veröffentlicht 1996

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Formal program development by goal splitting and backward loop formation

    Formal program development by goal splitting and backward loop formation von Heisel, Maritta, Santen, Thomas

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Sustainable stormwater management a landscape-driven approach to planning and design

    Sustainable stormwater management a landscape-driven approach to planning and design von Liptan, Thomas W., Santen, J. David

    Veröffentlicht 2017
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: