Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer software testing 4 Treffer
- distributed computing 4 Treffer
- semantics 4 Treffer
- software validation 4 Treffer
- technical specifications 4 Treffer
-
19 weitere Werte:
- c (computer program language) 3 Treffer
- compilers (computer programs) 3 Treffer
- computer input-output equipment 3 Treffer
- multiprocessors 3 Treffer
- source code 3 Treffer
- verified compilation 2 Treffer
- application software 1 Treffer
- artificial intelligence 1 Treffer
- artificial languages 1 Treffer
- computer programming 1 Treffer
- computer software 1 Treffer
- computer software correctness 1 Treffer
- computer software development 1 Treffer
- computer systems 1 Treffer
- electronic data processing 1 Treffer
- electronic systems 1 Treffer
- programming languages 1 Treffer
- relaxed memory models 1 Treffer
- standards 1 Treffer
Publikation
Sprache
3 Treffer
-
In: Communications of the ACM, Jg. 59 (2016-02-01), Heft 2, S. 52-55Online serialPeriodicalZugriff:
-
In: Journal of the ACM, Jg. 60 (2013-06-01), Heft 3, S. 1-50Online academicJournalZugriff:
-
In: Communications of the ACM, Jg. 53 (2010-12-01), Heft 12, S. 56-66Online academicJournalZugriff: