Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
edv
(3)informatik
(3)logics and meanings of programs
(3)
pre-andpost-conditions
(3)software engineering
(3)algorithm correctness
(2)algorithmcorrectness
(2)first-order predicate logic
(2)first-orderpredicatelogic
(2)formal methods
(2)formalmethods
(2)mathematical logic and formal languages
(2)mathematical logic and foundations
(2)pre- and post-conditions
(2)predicate calculus
(2)predicatecalculus
(2)program correctness
(2)programcorrectness
(2)theory of computation
(2)computer system implementation
(1)computerprogrammierung und softwareentwicklung
(1)dynamic logics
(1)dynamiclogics
(1)epistemic logics
(1)epistemiclogics
(1)logic
(1)logic in ai
(1)modal and temporal logics
(1)modalandtemporallogics
(1)p
(1)pre- and post- conditions
(1)program reasoning
(1)program semantics
(1)program verification
(1)programreasoning
(1)programsemantics
(1)programverification
(1)software-entw.
(1)special purpose and application-based systems
(1)theorie
(1)verification
(1)Ergebnis: 3 Artikel
Schlagwort: pre-andpost-conditions
