Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 10 Treffer
- reo 5 Treffer
- connector 4 Treffer
- coordination 4 Treffer
- operational semantics 4 Treffer
-
26 weitere Werte:
- technical specifications 4 Treffer
- application software 2 Treffer
- computer logic 2 Treffer
- computer simulation 2 Treffer
- confirmation (logic) 2 Treffer
- dynamic logic 2 Treffer
- evidence 2 Treffer
- first-order logic 2 Treffer
- manifolds (mathematics) 2 Treffer
- programming languages 2 Treffer
- reo (information retrieval system) 2 Treffer
- semantics 2 Treffer
- teaching 2 Treffer
- theorem proving 2 Treffer
- checking 1 Treffer
- hoare logic 1 Treffer
- model 1 Treffer
- modular verification 1 Treffer
- prng 1 Treffer
- programs 1 Treffer
- provable security 1 Treffer
- qos 1 Treffer
- reasoning 1 Treffer
- separation logic 1 Treffer
- synchronous systems 1 Treffer
- z3 1 Treffer
Verlag
Sprache
5 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Science of Computer Programming, Jg. 203 (2021-03-01), S. N.PAGacademicJournalZugriff: