Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
artificial intelligence
(1)computer communication networks
(1)edv
(1)fault tolerance
(1)faulttolerance
(1)informatik
(1)logics and meanings of programs
(1)mathematical logic and formal languages
(1)mathematical logic and foundations
(1)model-based testing
(1)model-basedtesting
(1)probabilistic automata
(1)probabilisticautomata
(1)programming languages, compilers, interpreters
(1)rewriting logic
(1)rewritinglogic
(1)software engineering
(1)software verification
(1)softwareentwicklung
(1)softwareverification
(1)theory of computation
(1)Ergebnis: 1 Artikel
Referenznummer: 9783642338250
