Treffer 1 - 6 von 6 für Suche 'Diaconescu, Răzvan', Suchdauer: 0,20s Treffer weiter einschränken
  1. 1
    von Diaconescu, Rǎzvan
    Veröffentlicht 1994
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    von Diaconescu, Razvan
    Veröffentlicht 1994
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Institution-independent model theory
    von Diaconescu, Răzvan
    Veröffentlicht 2008
    Cover
    Einführung/Vorwort
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    von Burstall, Rod
    Veröffentlicht 1992
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    CafeOBJ report : the language, proff techniques, and methodologies for object-oriented algebraic speficication
    von Diaconescu, Răzvan
    Veröffentlicht 1998
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Recent trends in algebraic development techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers
    Veröffentlicht 2015
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: