Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 3 Treffer
- verification 3 Treffer
- [info:info_lo] computer science/logic in computer science 2 Treffer
- [info:info_lo] informatique/logique en informatique 2 Treffer
- [info:info_pl] computer science/programming languages 2 Treffer
-
44 weitere Werte:
- [info:info_pl] informatique/langage de programmation 2 Treffer
- certification 2 Treffer
- methodes formelles 2 Treffer
- preuve de programmes 2 Treffer
- semantique 2 Treffer
- semantique formelle 2 Treffer
- software 2 Treffer
- synchrone 2 Treffer
- verification formelle 2 Treffer
- [info:info_cr] computer science/cryptography and security 1 Treffer
- [info:info_cr] informatique/cryptographie et securite 1 Treffer
- [info:info_oh] computer science/other 1 Treffer
- [info:info_se] computer science/software engineering 1 Treffer
- 005.275 1 Treffer
- analyse statique 1 Treffer
- assistant de preuve 1 Treffer
- assistants de preuve 1 Treffer
- atomicity 1 Treffer
- c++ 1 Treffer
- canaux caches 1 Treffer
- formal methods 1 Treffer
- formal semantics 1 Treffer
- formal verification 1 Treffer
- langage c 1 Treffer
- langages a objets 1 Treffer
- langages fonctionnels 1 Treffer
- lock 1 Treffer
- logiciels 1 Treffer
- operational semantics 1 Treffer
- parallelism 1 Treffer
- parallelisme 1 Treffer
- preuve formelle 1 Treffer
- proof assistant 1 Treffer
- proof assistants 1 Treffer
- reecriture 1 Treffer
- semantics 1 Treffer
- semantique operationnelle 1 Treffer
- side-channels 1 Treffer
- static analysis 1 Treffer
- synchronous 1 Treffer
- theorie des types 1 Treffer
- thread 1 Treffer
- translation validation 1 Treffer
- verrou 1 Treffer
Verlag
Sprache
11 Treffer
-
2016HochschulschriftZugriff:
-
2009Online HochschulschriftZugriff:
-
2012Online HochschulschriftZugriff:
-
2014HochschulschriftZugriff:
-
2013HochschulschriftZugriff:
-
2011Online HochschulschriftZugriff:
-
2014Online HochschulschriftZugriff:
-
2013Online HochschulschriftZugriff: