Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
algorithm analysis and problem complexity
(1)algorithmanalysisandproblemcomplexity
(1)computer communication networks
(1)concurrent systems
(1)concurrentsystems
(1)denotational semantics
(1)denotationalsemantics
(1)edv
(1)informatik
(1)mathematical logic and formal languages
(1)mathematical logic and found
(1)model checking
(1)modelchecking
(1)program refinement
(1)programming languages, compilers, interpreters
(1)programming techniques
(1)programrefinement
(1)software engineering
(1)symbolic computations
(1)symboliccomputations
(1)theory of computation
(1)Ergebnis: 1 Artikel
Autor: Groves, Lindsay
