Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
bpel
(1)business process modeling
(1)businessprocessmodeling
(1)compositional semantics
(1)compositionalsemantics
(1)constraint automata
(1)constraintautomata
(1)edv
(1)formal method
(1)formal methods
(1)formal verification
(1)formalmethod
(1)formalmethods
(1)formalverification
(1)informatik
(1)microsoft sharepoint (webservices, portal)
(1)model checking
(1)modelchecking
(1)modeling
(1)petri nets
(1)petrinets
(1)popular computer science
(1)probabilistic methods
(1)probabilisticme
(1)processing
(1)program analysis
(1)program semantics
(1)so
(1)theory of computation
(1)web services (edv)
(1)xml
(1)Ergebnis: 1 Artikel
EAN: 9783540792291
