Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    astesiano, egidio
    (1)
    kreowski, hans-jörg
    (1)
    krieg-brückner, bernd
    (1)
    Schlagwort
    algebraic specification
    (1)
    algebraicspecification
    (1)
    algebraische spezifikation
    (1)
    algebraischespezifikation
    (1)
    computerprogrammierung und softwareentwicklung
    (1)
    concurrency
    (1)
    design
    (1)
    development
    (1)
    edv
    (1)
    formal methods
    (1)
    formal specification
    (1)
    formale methoden
    (1)
    formalemethoden
    (1)
    formalmethods
    (1)
    formalspecification
    (1)
    informatik
    (1)
    language
    (1)
    logic
    (1)
    logics and meanings of p
    (1)
    programming techniques
    (1)
    semantics
    (1)
    software engineering
    (1)
    systems specification
    (1)
    systemspezifikation
    (1)
    systemsspecification
    (1)

    Datenschutz-Einstellungen