SciDok

Ihr Suchergebnis

Ergebnis 1 - 10 von 14  1   2  Blättern >>   Gehe zu Seite
von 2
1. Heckler, Andreas Ramses ; Hettler, Rudolf ; Hussmann, Heinrich ; Loeckx, Jacques ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt (1996) LEX : a case study in development and validation of formal specifications Report (Bericht)
 
2. Lehmann, Thomas ; Loeckx, Jacques (1990) OBSCURE, a specification language for abstract data types Report (Bericht)
 
3. Loeckx, Jacques (1989) OBSCURE : eine Spezifikations- und Verifikationsumgebung Report (Bericht)
 
4. Lehmann, Thomas ; Loeckx, Jacques (1987) OBSCURE : a specification environment for abstract data types Report (Bericht)
 
5. Lehmann, Thomas ; Loeckx, Jacques (1987) The specification language of OBSCURE Report (Bericht)
 
6. Loeckx, Jacques (1985) A formal description of the specification language OBSCURE Report (Bericht)
 
7. Loeckx, Jacques ; Mahr, Bernd (1985) A note on the equational calculus for many-sorted algebras with possibly empty carrier sets Report (Bericht)
 
8. Lermen, Claus-Werner ; Loeckx, Jacques (1985) OBSCURE : an interactive specification language for model-oriented specification methods (extended abstract) Report (Bericht)
 
9. Loeckx, Jacques (1985) The algorithmic specification method of abstract data types : an overview Report (Bericht)
 
10. Loeckx, Jacques (1981) Algorithmic specifications : a new specification method for abstract data types Report (Bericht)
 
Ergebnis 1 - 10 von 14  1   2  Blättern >>   Gehe zu Seite
von 2

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English