Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
havelund, klaus
(1)maamar, zakaaria
(1)nunez, manuel
(1)núnez, manuel
(1)pelayo, fernando
(1)rosu, grigore
(1)wolff, burkhart
(1)Schlagwort
edv
(2)informatik
(2)software engineering
(2)software-entw.
(2)theorie
(2)agent specification
(1)agentspecification
(1)architecture
(1)debugging
(1)distributed applications
(1)distributed computing
(1)distributed systems
(1)distributedapplications
(1)distributedcomputing
(1)distributedsystems
(1)e-commerce
(1)formal methods
(1)formal performance engineering
(1)formal specification
(1)formalmethods
(1)formalperformanceengineering
(1)formalspecification
(1)inter
(1)internet
(1)internet protocol analysis
(1)it operations
(1)logic
(1)logics and meanings of programs
(1)m-commerce
(1)management of computing and information systems
(1)model checking
(1)modelchecking
(1)modeling
(1)netzwerk (elektronisch)
(1)programmiersprachen
(1)programming languages, compilers, interpreters
(1)resolution
(1)s
(1)security
(1)security pro
(1)software engineering/programming and operating systems
(1)structured analysis
(1)structuredanalysis
(1)testing
(1)theorem proving
(1)theoremproving
(1)theory of computation
(1)verification
(1)Ergebnis: 2 Artikel
Redaktion: manuel núnez
