Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    engberg, uffe
    (1)
    gordon, andrew d.
    (1)
    kapoor, sanjiv
    (1)
    nielsen, mogens
    (1)
    prasad, sanjiva
    (1)
    Genre
    mathematik
    (3)
    medizin
    (3)
    naturwissenschaften
    (3)
    technik
    (3)
    Schlagwort
    edv
    (3)
    formal methods
    (3)
    formal verification
    (3)
    formalmethods
    (3)
    formalverification
    (3)
    informatik
    (3)
    model checking
    (3)
    modelchecking
    (3)
    software science
    (3)
    automata
    (2)
    computational structures
    (2)
    computationalstructures
    (2)
    logical foundations
    (2)
    logicalfoundations
    (2)
    mathematical foundations
    (2)
    program analysis
    (2)
    program logics
    (2)
    programlogics
    (2)
    programming theory
    (2)
    programmingtheory
    (2)
    software engineering
    (2)
    softwareengineering
    (2)
    softwarescience
    (2)
    theorie
    (2)
    theory of computation
    (2)
    verification
    (2)
    algorithms
    (1)
    algorithmus
    (1)
    allgemeines
    (1)
    automat
    (1)
    complexity
    (1)
    complexity theory
    (1)
    complexitytheory
    (1)
    computing theory
    (1)
    computingtheory
    (1)
    discrete mathematics
    (1)
    discretemathematics
    (1)
    logics and meanings of programs
    (1)
    mathematicalfo
    (1)
    mathematicalfoundations
    (1)
    program semantics
    (1)
    programanalysis
    (1)
    programming
    (1)
    programming langua
    (1)
    programsemantics
    (1)
    software
    (1)
    software engineering/pro
    (1)
    software technology
    (1)
    software-entw.
    (1)
    structured analysis
    (1)
    theoretical computer science
    (1)
    theoreticalcomputerscience
    (1)
    verifi
    (1)
    verificati
    (1)
    xml
    (1)
    Erscheinungsjahr
    2000
    (1)
    2002
    (1)
    2003
    (1)
    Ergebnis: 3 Artikel
    Schlagwort: software science

    Datenschutz-Einstellungen