Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- algorithms 2 Treffer
- coinduction 2 Treffer
- dynamic logic 2 Treffer
- formal verification 2 Treffer
- goal programming 2 Treffer
-
14 weitere Werte:
- hypervisor 2 Treffer
- mathematical induction 2 Treffer
- real-time embedded systems 2 Treffer
- schedulability analysis 2 Treffer
- technical specifications 2 Treffer
- theorem proving 2 Treffer
- work design 2 Treffer
- clock constraint specification language 1 Treffer
- coq 1 Treffer
- coq proof assistant 1 Treffer
- formal proof 1 Treffer
- memory isolation 1 Treffer
- microkernel 1 Treffer
- monads 1 Treffer
Verlag
Sprache
3 Treffer
-
In: Science of Computer Programming, Jg. 186 (2020-02-01), S. N.PAGOnline academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Science of Computer Programming, Jg. 202 (2021-02-01), S. N.PAGacademicJournalZugriff: