Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
auditing
(1)constraints specification.
(1)edv
(1)financial systems
(1)financial transactions
(1)formal specification
(1)formal verification
(1)informatik
(1)modeling
(1)predicate logic
(1)requirements specification
(1)uml
(1)Ergebnis: 1 Artikel
Titelzusatz: a formal specifications approach
