Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- programming language 3 Treffer
- static analysis 3 Treffer
- correctness 2 Treffer
- lcsh:electronic computers. computer science 2 Treffer
- lcsh:qa75.5-76.95 2 Treffer
-
21 weitere Werte:
- abstract syntax tree 1 Treffer
- algorithm 1 Treffer
- codebase 1 Treffer
- compiler 1 Treffer
- container (abstract data type) 1 Treffer
- data mining 1 Treffer
- data-flow analysis 1 Treffer
- false positive paradox 1 Treffer
- formal equivalence checking 1 Treffer
- formal methods 1 Treffer
- formal specification 1 Treffer
- implementation 1 Treffer
- library function 1 Treffer
- loop invariant 1 Treffer
- machine code 1 Treffer
- multithreading 1 Treffer
- preliminary analysis 1 Treffer
- soundness 1 Treffer
- spectrum analyzer 1 Treffer
- statistical analysis 1 Treffer
- symbolic execution 1 Treffer
Sprache
4 Treffer
-
In: Proceedings of the Institute for System Programming of the RAS, Jg. 28 (2016), S. 41-62Online unknownZugriff:
-
In: Proceedings of the Institute for System Programming of the RAS, Jg. 32 (2020), S. 7-19Online unknownZugriff:
-
In: Proceedings of the Institute for System Programming of the RAS, Jg. 32 (2020), S. 21-31Online unknownZugriff:
-
In: Proceedings of the Institute for System Programming of the RAS, Jg. 27 (2015), S. 111-134Online unknownZugriff: