Erscheinungsdatum
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
    • weitere Filter
    Autor
    Autor
    havelund, klaus
    (1)
    núnez, manuel
    (1)
    rosu, grigore
    (1)
    wolff, burkhart
    (1)
    Schlagwort
    Schlagwort
    debugging
    (1)
    edv
    (1)
    informatik
    (1)
    it operations
    (1)
    logic
    (1)
    logics and meanings of programs
    (1)
    management of computing and information systems
    (1)
    model checking
    (1)
    modelchecking
    (1)
    programmiersprachen
    (1)
    programming languages, compilers, interpreters
    (1)
    resolution
    (1)
    software engineering
    (1)
    software engineering/programming and operating systems
    (1)
    software-entw.
    (1)
    structured analysis
    (1)
    structuredanalysis
    (1)
    testing
    (1)
    theorem proving
    (1)
    theoremproving
    (1)
    theorie
    (1)
    theory of computation
    (1)
    verification
    (1)

    Datenschutz-Einstellungen