Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 10 Treffer
- coq proof assistant 3 Treffer
- dependent types 2 Treffer
- hoare logic 2 Treffer
- interactive theorem proving 2 Treffer
-
39 weitere Werte:
- reo 2 Treffer
- verification 2 Treffer
- agda 1 Treffer
- assembly language 1 Treffer
- axiomatic semantics 1 Treffer
- call-by-value 1 Treffer
- coinduction 1 Treffer
- coinductive types 1 Treffer
- complexity 1 Treffer
- connector 1 Treffer
- controlled natural language 1 Treffer
- coordination 1 Treffer
- coordination language 1 Treffer
- formal methods 1 Treffer
- formal proof 1 Treffer
- formal verification 1 Treffer
- free monad 1 Treffer
- functional language 1 Treffer
- hypervisor 1 Treffer
- imperative programs 1 Treffer
- institution theory 1 Treffer
- lambda calculus 1 Treffer
- memory isolation 1 Treffer
- microkernel 1 Treffer
- operational semantics 1 Treffer
- predicate transformers 1 Treffer
- prng 1 Treffer
- program certification 1 Treffer
- program extraction 1 Treffer
- property-based testing 1 Treffer
- provable security 1 Treffer
- randomized algorithms 1 Treffer
- reachability logic 1 Treffer
- reasoning 1 Treffer
- refinement calculus 1 Treffer
- the coq proof assistant 1 Treffer
- theorem proving 1 Treffer
- type theory 1 Treffer
- z3 1 Treffer
Verlag
Sprache
16 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:
-
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:
-
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:
-
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: