Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- formal methods 4 Treffer
- 004 2 Treffer
- compilation 2 Treffer
- coq 2 Treffer
- formal verification 2 Treffer
-
29 weitere Werte:
- preuve 2 Treffer
- [info:info_mo] computer science/modeling and simulation 1 Treffer
- [info:info_os] computer science/operating systems 1 Treffer
- [info:info_se] computer science/software engineering 1 Treffer
- assistant de preuve 1 Treffer
- assistants de preuve 1 Treffer
- assurance qualite 1 Treffer
- certification 1 Treffer
- circuits 1 Treffer
- code analysis 1 Treffer
- computational model 1 Treffer
- cryptographie 1 Treffer
- cryptography 1 Treffer
- extraction 1 Treffer
- fault-tolerance 1 Treffer
- langage c 1 Treffer
- langages fonctionnels 1 Treffer
- logiciel libre 1 Treffer
- logics 1 Treffer
- logique 1 Treffer
- program verification 1 Treffer
- proof 1 Treffer
- proof assistant 1 Treffer
- proof assistants 1 Treffer
- provable security 1 Treffer
- securite 1 Treffer
- tolerance aux fautes 1 Treffer
- verification de programmes 1 Treffer
- verification formelle 1 Treffer
Sprache
7 Treffer
-
2016HochschulschriftZugriff:
-
2013HochschulschriftZugriff:
-
2009Online HochschulschriftZugriff:
-
2011Online HochschulschriftZugriff: