Treffer 1 – 4 von 4 für Suche 'Bidoit, Michel', Suchdauer: 0,03s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    A general framework for modular implementations of modular system specifications

    A general framework for modular implementations of modular system specifications von Bidoit, Michel, Hennicker, Rolf

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    CASL user manual introduction to using the common algebraic specification language

    CASL user manual introduction to using the common algebraic specification language von Bidoit, Michel, Mosses, Peter D. 1948-

    Veröffentlicht 2004
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Behavioural and abstractor specifications

    Behavioural and abstractor specifications von Bidoit, Michel, Hennicker, Rolf, Wirsing, Martin 1948-

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Etude comparative des différents modes de spécification des types abstraits

    Etude comparative des différents modes de spécification des types abstraits von Bidoit, Michel

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: